aboutsummaryrefslogtreecommitdiffhomepage
path: root/.github/PULL_REQUEST_TEMPLATE.md
blob: e926094002e4bd72a99c8190967c4b742e43b1ed (plain)
1
2
3
4
5
6
7
8
9
10
11
12
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>, probably using git-send-email(1)