summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorSean Whitton <spwhitton@spwhitton.name>2020-01-31 23:44:17 -0700
committerSean Whitton <spwhitton@spwhitton.name>2020-01-31 23:44:17 -0700
commita99a0e9e9f8cf83e7e1e41a4b4ac49a32ca76ee4 (patch)
tree5854d4297c69a437526a2422dc373630e12acdc2 /.github
downloadp5-Git-Annex-a99a0e9e9f8cf83e7e1e41a4b4ac49a32ca76ee4.tar.gz
basic Git::Annex wrapper class and project administrivia
Signed-off-by: Sean Whitton <spwhitton@spwhitton.name>
Diffstat (limited to '.github')
-rw-r--r--.github/PULL_REQUEST_TEMPLATE.md15
1 files changed, 15 insertions, 0 deletions
diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md
new file mode 100644
index 0000000..594022f
--- /dev/null
+++ b/.github/PULL_REQUEST_TEMPLATE.md
@@ -0,0 +1,15 @@
+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>, probably using git-send-email(1)
+
+You may find <https://git-send-email.io/> useful.