Hi Peff, On Thu, 21 Sep 2017, Jeff King wrote: > Johannes, this is an adaptation of your 67e5ce7f63 (status: offer *not* > to lock the index and update it, 2016-08-12). Folks working on GitHub > Desktop complained to me that it's only available on Windows. :) Okay, so this is trying to help me by upstreaming a patch from Git for Windows? If so: thanks! The changes, in particular the different semantics, will guarantee that I have to work on the consumer's side here, though, leaving me even less time for the Git mailing list, so I will need a lot more help with upstreaming patches. Ciao, Dscho
