Add PR template that reminds us to update the docs

McMartin · Apr 13, 2018 · 2a59b7c · 2a59b7c
1 parent a482bda
commit 2a59b7c
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md
@@ -0,0 +1,3 @@
+Before pressing the "Create pull request" button:
+- double-check that docs are up-to-date
+- delete this list