Add a pull request template.

diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md
new file mode 100644 (file)
index 0000000..0a80532
--- /dev/null
+++ b/.github/pull_request_template.md
@@ -0,0 +1,23 @@
+<!--
+Thanks for reporting an issue with deal.II! This HTML comment won't be visible
+in the issue tracker but is present here to help you write a better description
+of the problem you encountered.
+
+If you have questions about deal.II, please post them on the mailing list:
+
+   https://groups.google.com/g/dealii
+
+Otherwise:
+- Do you encounter a compilation failure? Please attach the detailed.log file
+  present in the build directory here. Any additional compiler messages will also
+  be helpful!
+
+- Does something crash (e.g., an example) that shouldn't? Please include any relevant
+  terminal output as well as the detailed.log file generated in your build
+  directory (should you have one).
+
+- Is there a missing feature you want to implement? Please briefly describe it and
+  and the problem it solves.
+
+- Did you find some other issue with deal.II? Summarize the problem here.
+-->