diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md new file mode 100644 index 000000000..a631feb99 --- /dev/null +++ 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?