Skip to content

shape-doctor.py: a shape copy renamed on both sides of a merge, DD at its old name, is named gone on both sides with each new name a side's own commit holds the base's blob of it at, never as a merge of hunks git did not merge (#783) - #789

Merged
brettheap merged 16 commits into
mainfrom
l3-783-both-renamed
Oct 18, 2026
Merged

shape-doctor.py: a shape copy renamed on both sides of a merge, DD at its old name, is named gone on both sides with each new name a side's own commit holds the base's blob of it at, never as a merge of hunks git did not merge (#783)#789
brettheap merged 16 commits into
mainfrom
l3-783-both-renamed

Merge branch 'main' into l3-783-both-renamed

08c1c56
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar