You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
_Thanks for contributing to Gambit! Before you submitting or reviewing a pull request, check out our [guidelines for contributing](https://gambitproject.readthedocs.io/en/latest/developer.contributing.html)._
2
+
3
+
_The person submitting the PR should ensure it has an informative title and update the headers below, before marking the PR as ready for review and assigning reviewers._
4
+
5
+
### Issues closed by this PR
6
+
7
+
_Add any issues that are being closed by this PR to the list. Use "Closes" or [another keyword](https://docs.github.com/en/issues/tracking-your-work-with-issues/using-issues/linking-a-pull-request-to-an-issue#linking-a-pull-request-to-an-issue-using-a-keyword) followed by the issue number._
8
+
9
+
- Closes #ISSUE_NUMBER
10
+
11
+
### Description of the changes in this PR
12
+
13
+
_Update the description of the changes made in this PR. You can delete this section if the changes are already fully described in the linked issues._
14
+
15
+
This PR ...
16
+
17
+
### How to review this PR
18
+
19
+
_The gambit repository contains source code and documentation for several different components. Explain how a reviewer should approach reviewing the specific changes made in this PR._
20
+
21
+
_For example, you might include instructions like:_
22
+
-_"Review code changes and ensure tests cover edge cases"_
23
+
-_"Rebuild the GUI from this branch, then test features X, Y, Z work as expected"_
24
+
-_"Click the link to the documentation page and sense check by reading"_
Copy file name to clipboardExpand all lines: doc/developer.contributing.rst
+17-6Lines changed: 17 additions & 6 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -37,8 +37,8 @@ version.
37
37
38
38
1. To get started contributing code in the `Gambit GitHub repo <https://github.com/gambitproject/gambit>`__, do one of the following:
39
39
40
-
- Core developers: request contributor access from one of the `team <https://www.gambit-project.org/team/>`__
41
-
- External contributors: fork the repository on GitHub.
40
+
- Core developers: request contributor access from one of the `team <https://www.gambit-project.org/team/>`__
41
+
- External contributors: fork the repository on GitHub.
42
42
43
43
2. Clone the repository to your local machine ::
44
44
@@ -63,9 +63,9 @@ version.
63
63
64
64
Having `pre-commit` installed is recommended as it runs many of the same checks that are automatically conducted on any pull request. Every time you commit, it will automatically fix some issues and highlight others for manual adjustment.
65
65
66
-
5. Create a new branch for your changes ::
66
+
5. Create a new branch for your changes. It's good practice to either give the branch a descriptive name or directly reference an issue number ::
67
67
68
-
git checkout -b feature/your-feature-name
68
+
git checkout -b feature/issue-number
69
69
70
70
6. Make your changes. ::
71
71
@@ -78,11 +78,22 @@ version.
78
78
79
79
7. Push your changes to your fork or branch ::
80
80
81
-
git push origin feature/your-feature-name
81
+
git push origin feature/issue-number
82
+
83
+
8. Open a pull request on GitHub to the master branch of the upstream repository. Ensure your pull request:
84
+
85
+
- Has an informative title.
86
+
- Links to any relevant issues.
87
+
- Includes a clear description of the changes made.
88
+
- Explains how a reviewer can test the changes.
89
+
90
+
.. note::
91
+
It's good practice to open a draft pull request early in the development process to facilitate discussion and feedback, ensure there are no merge conflicts, and allow for continuous integration testing via GitHub Actions.
82
92
83
-
8. Open a pull request on GitHub to the master branch of the upstream repository, describing your changes and linking to any relevant issues.
84
93
9. Core developers will review your changes, provide feedback, and merge them into the master branch if they meet the project's standards.
85
94
95
+
10. Once your pull request is merged, delete your branch on GitHub (a button should appear to do this automatically).
0 commit comments