Hi Peff, On Tue, 30 Apr 2019, Jeff King wrote: > On Tue, Apr 30, 2019 at 06:07:15PM -0400, Johannes Schindelin wrote: > > > Alternatively, I could simply drop that patch from Git for Windows, as > > it really only concerns users who override the default, opting out of > > using Git Credential Manager. > > would be the path I would take. Okay, let's drop it, then. Thanks, Dscho