Create PULL_REQUEST_TEMPLATE.md

2020-03-04 18:23:03 +00:00 · 2020-03-04 18:23:03 +00:00 · 47d20df7df
parent 07fc46b2e5
commit 47d20df7df
1 changed files with 9 additions and 0 deletions
--- a/.github/PULL_REQUEST_TEMPLATE.md
+++ b/.github/PULL_REQUEST_TEMPLATE.md
@ -0,0 +1,9 @@
+<!-- Proofing PRs:
+1. Title should follow "Proof [FILE NAME] #[PROOF ISSUE]", e.g:
+    "Proof ALARM_AND_ABORT #564"
+2. Mention pages checked if you have not proofed the entire file
+
+--><!-- New README/CONTRIBUTING PRs:
+1. Title should follow "Add [LANGUAGE] [README|CONTRIBUTING]", e.g:
+    "Add Dutch README"
+-->