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. -Peff