diff options
Diffstat (limited to '.github/PULL_REQUEST_TEMPLATE.md')
| -rw-r--r-- | .github/PULL_REQUEST_TEMPLATE.md | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md index 32cf2b6..8a84fd0 100644 --- a/.github/PULL_REQUEST_TEMPLATE.md +++ b/.github/PULL_REQUEST_TEMPLATE.md @@ -3,11 +3,4 @@ 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) +Instead, please see CONTRIBUTING.md for patch submission info. |