Re: [RFC/PATCH] point pull requesters to Git Git Gadget

From: Junio C Hamano <gitster@pobox.com>
Date: Mar 13, 2019, 02:07 UTC
Message-ID: <xmqqef7bfrxv.fsf@gitster-ct.c.googlers.com>
In-Reply-To: <20190312213246.GA6252@sigill.intra.peff.net>

Jeff King <peff@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.

Show 17 quoted lines

>  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!