Skip to content

shape-doctor.py: a conflicted shape pin's NEXT takes the side whose pin reads, and names no line where no side's pin reads, so run as printed it no longer leaves the doctor naming the same NEXT again (#752) - #779

Merged
brettheap merged 2 commits into
mainfrom
l3-752-unreadable-side
Oct 17, 2026
Merged

shape-doctor.py: a conflicted shape pin's NEXT takes the side whose pin reads, and names no line where no side's pin reads, so run as printed it no longer leaves the doctor naming the same NEXT again (#752)#779
brettheap merged 2 commits into
mainfrom
l3-752-unreadable-side

Merge branch 'main' into l3-752-unreadable-side

1d883ce
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar