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"_
0 commit comments