the diverged-heads hint names the verb that actually converges, and says finalize first when a working change is in the way (#1145) 854afe31 · dbf3dbe6…diff
Renames are not followed. loot's tree maps a path to an address, so a rename is a delete and an add. This list is the history of the name, not of the bytes.