add a github pull request template

diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md
new file mode 100644 (file)
index 0000000..32cf2b6
--- /dev/null
+++ b/.github/PULL_REQUEST_TEMPLATE.md
@@ -0,0 +1,13 @@
+Thank you for your interest in contributing to this project!
+
+Please **do not** submit a pull request on GitHub.  This repository is
+an automated mirror, and I don't develop using GitHub's platform.
+
+Instead, either
+
+- publish a branch somewhere (a GitHub fork is fine), and e-mail
+  <spwhitton@spwhitton.name> asking me to merge your branch, possibly
+  using git-request-pull(1)
+
+- prepare patches with git-format-patch(1), and send them to
+  <spwhitton@spwhitton.name>, possibly using git-send-email(1)