Re: [PATCH] git: add --no-optional-locks option
- From
Johannes Schindelin <johannes.schindelin@gmx.de>
- Date
- Sep 25, 2017, 16:10 UTC
- 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