aboutsummaryrefslogtreecommitdiffhomepage
path: root/.github
diff options
context:
space:
mode:
authorSean Whitton <spwhitton@spwhitton.name>2017-02-19 15:28:05 -0700
committerSean Whitton <spwhitton@spwhitton.name>2017-02-19 15:28:05 -0700
commit92e49db918b5d0074eb3692358ca657b3bb2460d (patch)
treee58dd791a19a553bc16d553e7ace9a300976d915 /.github
parentcf73a8f9129ed97f1c88f2d975d2444c276a3c9f (diff)
downloadpandoc-citeproc-preamble-92e49db918b5d0074eb3692358ca657b3bb2460d.tar.gz
add a github PR template
Diffstat (limited to '.github')
-rw-r--r--.github/PULL_REQUEST_TEMPLATE.md13
1 files changed, 13 insertions, 0 deletions
diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md
new file mode 100644
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)