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 ;-) Thanks.
