Re: What's cooking in git.git (Aug 2025, #01; Sun, 3)

From: Jeff King <peff@peff.net>
Date: Aug 5, 2025, 18:48 UTC
Message-ID: <20250805184827.GB1345110@coredump.intra.peff.net>
In-Reply-To: <xmqqzfcdzof5.fsf@gitster.g>

On Tue, Aug 05, 2025 at 10:08:46AM -0700, Junio C Hamano wrote:

Show 13 quoted lines

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

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