Repository navigation
update-shape.py: apply --branch compares the pin, the manifest and every pinned copy with HEAD before its first write and refuses a difference as update-branch-uncommitted, so an in-place apply left uncommitted no longer ends in a commit its own validate-pins.py refuses, in git's "nothing to commit", or in "nothing to do" with no branch made (#436) - #474
Merged
Merged
Commits
Commits on Oct 12, 2026
- andcommitted

- andcommitted

Commits on Oct 13, 2026