Hi Peff, On Tue, 10 Nov 2020, Jeff King wrote: > On Tue, Nov 10, 2020 at 08:17:04PM +0100, Johannes Schindelin wrote: > > > If you don't mind, I'd like to integrate your work into mine and make you > > a co-author. Objections? > > Nope, no problem at all (I was worried we might be duplicating, but I > thought maybe you'd have quit for the day already. Silly timezones). Right. Normally, you would be right, I would have called it quits for the day. For this bug, I kind of set aside my movie time today to fix the bug. As soon as https://github.com/gitgitgadget/git/pull/785 passes the PR build, I will submit it. Ciao, Dscho
