diff options
| author | w0rp <devw0rp@gmail.com> | 2019-01-08 14:40:22 +0000 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2019-01-08 14:40:26 +0000 |
| commit | f23811770a8104346b7e9ccc6e586da828c8f41d (patch) | |
| tree | db3b0996e87b6440241b2ee5d291eea39dbcb530 /.github | |
| parent | 84475ff6f16d2f10cba7d93de2911eb37b753795 (diff) | |
| download | ale-f23811770a8104346b7e9ccc6e586da828c8f41d.zip | |
Add briefer help tags for ALE development documentation
Diffstat (limited to '.github')
| -rw-r--r-- | .github/PULL_REQUEST_TEMPLATE.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md index a73f67ba..785da9b8 100644 --- a/.github/PULL_REQUEST_TEMPLATE.md +++ b/.github/PULL_REQUEST_TEMPLATE.md @@ -2,7 +2,7 @@ Before creating a pull request, do the following. * Read the Contributing guide linked above first. -* Read the documentation that comes with ALE with `:help ale-development`. +* Read the documentation that comes with ALE with `:help ale-dev`. Have fun! --> @@ -10,4 +10,4 @@ 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! -Seriously, read `:help ale-development` and write tests. +Seriously, read `:help ale-dev` and write tests. |