Jeff King <p...@peff.net> writes: > -Nevertheless, you can use [submitGit](http://submitgit.herokuapp.com/) to > +Nevertheless, you can use [Git Git Gadget](https://gitgitgadget.github.io/) > to
The pointed-at page calls the tool a single word with three capital Gs without SP in it. We should match it here and in the other document. > conveniently send your Pull Requests commits to our mailing list. > > Please read ["A note from the > maintainer"](https://git.kernel.org/pub/scm/git/git.git/plain/MaintNotes?h=todo) > diff --git a/.github/PULL_REQUEST_TEMPLATE.md > b/.github/PULL_REQUEST_TEMPLATE.md > index adba13e5ba..85911a44e2 100644 > --- a/.github/PULL_REQUEST_TEMPLATE.md > +++ b/.github/PULL_REQUEST_TEMPLATE.md > @@ -1,7 +1,7 @@ > Thanks for taking the time to contribute to Git! Please be advised that the > Git community does not use github.com for their contributions. Instead, we > use > a mailing list (git@vger.kernel.org) for code submissions, code reviews, and > -bug reports. Nevertheless, you can use submitGit to conveniently send your > Pull > -Requests commits to our mailing list. > +bug reports. Nevertheless, you can use Git Git Gadget > (https://gitgitgadget.github.io/) > +to conveniently send your Pull Requests commits to our mailing list. > > Please read the "guidelines for contributing" linked above!
