Re: [RFC/PATCH] point pull requesters to Git Git Gadget
- Date: Wed, 13 Mar 2019 11:07:08 +0900
- From: Junio C Hamano <gitster@xxxxxxxxx>
- Subject: Re: [RFC/PATCH] point pull requesters to Git Git Gadget
Jeff King <peff@xxxxxxxx> 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
> 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@xxxxxxxxxxxxxxx) 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!