add PR template

potassco · Nov 2, 2023 · 670900a · 670900a
1 parent c32f1a4
commit 670900a
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md
@@ -0,0 +1,7 @@
+### Checklist
+
+**Please only open Pull Requests against the wip branch**
+
+[ ] Have you followed the guidelines in our [CONTRIBUTING.md](/potassco/clingo/blob/contributing/CONTRIBUTING.md) document?
+[ ] Have you checked to ensure there aren't other open Pull Requests for the same update/change?
+[ ] Have you made sure that all tests succeed?