Web lists-archives.com

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

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

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

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