diff options
| author | Sean Whitton <spwhitton@spwhitton.name> | 2017-03-02 06:56:05 -0700 |
|---|---|---|
| committer | Sean Whitton <spwhitton@spwhitton.name> | 2017-03-02 06:56:05 -0700 |
| commit | aa5bdcf9a7ca4a162b55f2d3b0312a5d40434a7a (patch) | |
| tree | 704b18e6ba051a9959d01de9cdeeb0b8f970f966 /.github | |
| parent | b287f9b2a5807625cf4d5d82ad908104fa4c6653 (diff) | |
| download | sscan-aa5bdcf9a7ca4a162b55f2d3b0312a5d40434a7a.tar.gz | |
tidy up docs & add a screenshot
Diffstat (limited to '.github')
| -rw-r--r-- | .github/PULL_REQUEST_TEMPLATE.md | 13 |
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) |