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

Commits

  1. Commits on Oct 15, 2026

  2. Commits on Oct 16, 2026

  3. Commits on Oct 17, 2026