github: fix PR template reference to dev docs

dense-analysis · May 10, 2020 · a15f678 · a15f678
1 parent 371aaf5
commit a15f678
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md
@@ -2,12 +2,12 @@
 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-dev`.
+* Read the documentation that comes with ALE with `:help ale-development`.
 
 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-dev` and write tests.
+Seriously, read `:help ale-development` and write tests.