summaryrefslogtreecommitdiff
path: root/.github/PULL_REQUEST_TEMPLATE.md
blob: 594022faf85b6067d5a519985748a5d8d2fa36d7 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
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.