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

From: Jeff King <peff@peff.net>
Date: Mar 13, 2019, 19:39 UTC
Message-ID: <20190313193937.GC3400@sigill.intra.peff.net>
In-Reply-To: <xmqq1s3bfrf2.fsf@gitster-ct.c.googlers.com>

On Wed, Mar 13, 2019 at 11:18:25AM +0900, Junio C Hamano wrote:

Show 12 quoted lines

> Junio C Hamano <gitster@pobox.com> writes:
> 
> > 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.
> 
> For now, here is what I have locally.  Again, thanks all.

Yep, that makes sense. What you have queued looks good to me.

-Peff