1 Thanks for taking the time to contribute to Git! Please be advised that the
2 Git community does not use github.com for their contributions. Instead, we use
3 a mailing list (git@vger.kernel.org) for code submissions, code reviews, and
4 bug reports. Nevertheless, you can use GitGitGadget (https://gitgitgadget.github.io/)
5 to conveniently send your Pull Requests commits to our mailing list.
7 For a single-commit pull request, please *leave the pull request description
8 empty*: your commit message itself should describe your changes.
10 Please read the "guidelines for contributing" linked above!