summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorSean Whitton <spwhitton@spwhitton.name>2020-02-11 14:34:08 -0700
committerSean Whitton <spwhitton@spwhitton.name>2020-02-16 15:48:07 -0700
commit89b581c6fa663d8a9db728d98e7f56c83c991444 (patch)
tree1e4247118c26fb47e9353bc1344b65466d23969b /.github
downloadp5-API-GitForge-89b581c6fa663d8a9db728d98e7f56c83c991444.tar.gz
rework script into API::GitForge generic interface
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.