Re: Auto detaching head options (update) (Re: Working copy revision and push pain)

From: Junio C Hamano <gitster@pobox.com>
Date: Mar 31, 2008, 01:53 UTC
Message-ID: <7vy77zslor.fsf@gitster.siamese.dyndns.org>
In-Reply-To: <20080329084743.GA19200@coredump.intra.peff.net>

Jeff King <peff@peff.net> writes:

Show 12 quoted lines

> On Sat, Mar 29, 2008 at 09:27:57AM +0100, Jan Hudec wrote:
>
> I like the fact that it deals with both these cases, and I think it can
> cover even more. It is a general safety valve for "somebody changed this
> ref while you weren't looking."
>
>> Besides whith the update above, I no longer propose to keep any new
>> information -- just to add a safety-check.
>
> And I like that, too. But I am a little worried that the information
> will not be sufficient. You are asking for a consistency guarantee of
> HEAD and HEAD@{0} that comes from using current porcelain.

While I too find the proposal attractive as a concept, I am sorry to say that it would not work even with the current set of Porcelain (fwiw, when the index-base extension was done, the approach based on HEAD reflog would not have worked either). This is because 605fac8 (update HEAD reflog when branch pointed to by HEAD is directly modified, 2007-03-21) made gremlin updates to the current branch tip to also update the reflog of HEAD.

If we revert that commit, we may be able to.