Re: [PATCH 2/2] builtin-reflog: fix deletion of HEAD entries

Pieter de Bie [off-list ref] 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?