Kyle Meyer [off-list ref] writes:
Junio C Hamano [off-list ref] writes:
[...]
quoted
Do we even want these "internal" delete_ref() invocations to be
logged in HEAD's reflog? I understand that this is inside the
implementation of renaming an old ref to a new ref, and reflog
message given to delete_ref() would matter only if the HEAD happens
to be pointing at old ref---but then HEAD will be repointed to the
new ref by somebody else [*1*] that called this function to rename
old to new and it _will_ log it.
I know the discussion has developed further, but just a note that I
think the last statement is inaccurate: currently, a rename will not be
recorded in HEAD's log. "git branch -m" will show a renaming event in
the new branch's log, but the only trace of the event in HEAD's log is
the deletion entry with an empty message.
Yes, I think Peff diagnosed it and suggested a fix.