diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md new file mode 100644 index 000000000..d17a07c60 --- /dev/null +++ b/.github/pull_request_template.md @@ -0,0 +1,6 @@ +#### Additional information... + +* Have you run the test suite? + Many changes need to be tested. Please run the test suite and include the output + of the ```cd test && ./problems``` script. +