diff options
| author | w0rp <devw0rp@gmail.com> | 2018-10-02 11:23:23 +0100 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2018-10-02 11:23:23 +0100 |
| commit | 5960a9ae4b86be6da7d835df13d8d872203bad99 (patch) | |
| tree | 92443fd7d01e772885a5a383f55b4c5e0f34fb5b /.github | |
| parent | 04ed87c8829015ff3653a35fb4f6d7a71668d736 (diff) | |
| download | ale-5960a9ae4b86be6da7d835df13d8d872203bad99.zip | |
Encourage people to write tests even more
Diffstat (limited to '.github')
| -rw-r--r-- | .github/PULL_REQUEST_TEMPLATE.md | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md index 8e1b5c57..31f55453 100644 --- a/.github/PULL_REQUEST_TEMPLATE.md +++ b/.github/PULL_REQUEST_TEMPLATE.md @@ -6,3 +6,6 @@ Before creating a pull request, do the following. Have fun! --> + +Where are the tests? Have you added tests? Have you updated the tests? Read the +comment above and the documentation referenced in it first. Write tests! |