Skip to content

bootstrap.py and AGENTS-shape.md: a leg with an operation in progress or an ignored file in the way is refused, P9 names the branch it left, and no git is git-not-runnable, so make bootstrap loses nothing (#704) (#694) - #745

Merged
brettheap merged 22 commits into
mainfrom
fix/704-bootstrap-leg-moves
Oct 17, 2026
Merged

bootstrap.py and AGENTS-shape.md: a leg with an operation in progress or an ignored file in the way is refused, P9 names the branch it left, and no git is git-not-runnable, so make bootstrap loses nothing (#704) (#694)#745
brettheap merged 22 commits into
mainfrom
fix/704-bootstrap-leg-moves

Merge main dc7d3fbb.. after #682 landed as dc7d3fb

1945154
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar