summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
Diffstat (limited to '.github')
-rw-r--r--.github/PULL_REQUEST_TEMPLATE.md4
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.