From: Junio C Hamano <gitster@pobox.com>
Date: Sun, 10 Aug 2008 00:44:27 GMT
Subject: Re: [PATCH 2/2] builtin-reflog: fix deletion of HEAD entries
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:

> 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?