On Tue, Aug 05, 2025 at 10:08:46AM -0700, Junio C Hamano wrote: > Jeff King <peff@xxxxxxxx> writes: > > > I think I don't think it's pretending that nothing bad happened, though. > > The user did not ask us to update HEAD, and we are able to fill their > > original request completely. So there really was nothing bad that > > happened. > > > > To me the options are "try to do the best thing in a racy situation, > > even though it almost never happens and will be complex and somewhat > > untested" vs "do the simple and stupid thing that does not happen enough > > for anyone to care too much". > > OK. I still prefer the latter ;-) Yeah, sorry if I was not clear. I was just quibbling about the framing of the discussion, but I think we all ended up in the same place. ;) -Peff
