From a377a5048d583e4abe27ac268104a194ece80378 Mon Sep 17 00:00:00 2001
From: Michael Walker <mike@barrucadu.co.uk>
Date: Sun, 4 Feb 2018 18:12:50 +0000
Subject: [PATCH] Add a GitHub pull request template

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

diff --git a/.github/PULL_REQUEST_TEMPLATE b/.github/PULL_REQUEST_TEMPLATE
new file mode 100644
index 0000000..47674de
--- /dev/null
+++ b/.github/PULL_REQUEST_TEMPLATE
@@ -0,0 +1,44 @@
+## Summary
+
+What does this pull request do?
+
+**To do:**
+
+If this pull request is a work-in-progress, add a checklist here of
+the remaining tasks so it's clear what still needs to be done.
+
+**Related issues:**
+
+If this pull request is related to any other issues, list them here.
+
+
+## Checklist
+
+- [ ] Travis builds the PR successfully
+
+**If this is fixing a bug:**
+
+- [ ] You have added a regression test to dejafu-tests
+
+**If this is adding a feature:**
+
+- [ ] You have added new tests to dejafu-tests
+
+
+## Benchmark results (for performance issues)
+
+**Before:**
+
+```
+$ stack exec -- dejafu-tests +RTS -s
+
+...put your results here...
+```
+
+**After:**
+
+```
+$ stack exec -- dejafu-tests +RTS -s
+
+...put your results here...
+```