From: Junio C Hamano <gitster@pobox.com>
Date: Tue, 05 Aug 2025 17:08:46 GMT
Subject: Re: What's cooking in git.git (Aug 2025, #01; Sun, 3)
Message-ID: <xmqqzfcdzof5.fsf@gitster.g>
In-Reply-To: <20250805125120.GA1291837@coredump.intra.peff.net>

Jeff King <peff@peff.net> 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.