From 43f1885c7ed6a9ae080b7c7a739919be10d6b046 Mon Sep 17 00:00:00 2001
From: Florian Bruhin <me@the-compiler.org>
Date: Mon, 20 Jul 2020 09:33:21 +0200
Subject: [PATCH] Add basic PR template

---
 .github/pull_request_template.md | 1 +
 1 file changed, 1 insertion(+)
 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 000000000..9913db341
--- /dev/null
+++ b/.github/pull_request_template.md
@@ -0,0 +1 @@
+<!-- Thanks for submitting a pull request! Please pick a descriptive title (not just "issue 12345"). If there is an open issue associated to your PR, please add a line like "Closes #12345" somewhere in the PR description (outside of this comment) -->