Add PR template that reminds us to update the docs

McMartin · McMartin · commit 2a59b7ce0a75 · 2018-04-13T09:52:33.000+02:00
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

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+Before pressing the "Create pull request" button:`
	`2`	`+- double-check that docs are up-to-date`
	`3`	`+- delete this list`