From 92e49db918b5d0074eb3692358ca657b3bb2460d Mon Sep 17 00:00:00 2001 From: Sean Whitton Date: Sun, 19 Feb 2017 15:28:05 -0700 Subject: add a github PR template --- .github/PULL_REQUEST_TEMPLATE.md | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 .github/PULL_REQUEST_TEMPLATE.md 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 + asking me to merge your branch, possibly + using git-request-pull(1) + +- prepare patches with git-format-patch(1), and send them to + , possibly using git-send-email(1) -- cgit v1.2.3