From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Mon, 25 Sep 2017 16:10:12 GMT
Subject: Re: [PATCH] git: add --no-optional-locks option
Message-ID: <alpine.DEB.2.21.1.1709251808350.40514@virtualbox>
In-Reply-To: <20170921043214.pyhdsrpy4omy54rm@sigill.intra.peff.net>

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