Kyle Meyer <kyle@xxxxxxxxxx> writes: > Junio C Hamano <gitster@xxxxxxxxx> writes: > > [...] > >> 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.