Re: [PATCH 2/2] builtin-reflog: fix deletion of HEAD entries
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Aug 10, 2008, 00:44 UTC
- Message-ID
- <7vhc9t4s2c.fsf@gitster.siamese.dyndns.org>
- In-Reply-To
- <1218324810-35376-2-git-send-email-pdebie@ai.rug.nl>
Pieter de Bie <pdebie@ai.rug.nl> writes:
Show 6 quoted lines
> dwim_ref() used to resolve HEAD to its symlink (like refs/heads/master),
> making a call to 'git reflog delete HEAD@{1}' to actually delete the second
> entry in the master reflog.
>
> This patch makes a special case for HEAD (as that's the only non-branch
> reflog we keep), fixing the issue.What happens to remotes/origin/HEAD that points at remotes/origin/master?