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"
+-->