From 47d20df7df55d78939ecf5a7cab14a10d1484d83 Mon Sep 17 00:00:00 2001
From: James Harris <wopian@wopian.me>
Date: Wed, 4 Mar 2020 18:23:03 +0000
Subject: [PATCH] Create PULL_REQUEST_TEMPLATE.md

---
 .github/PULL_REQUEST_TEMPLATE.md | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 .github/PULL_REQUEST_TEMPLATE.md

diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md
new file mode 100644
index 0000000..773224a
--- /dev/null
+++ 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"
+-->