Repository navigation
update-shape.py, family.py and bump-leg.py: the branch HEAD is on is read as the bytes git wrote, so a branch ending in U+00A0 is no longer read as its neighbour, and a name that is not UTF-8 is refused by name before anything is written (#765) - #849
Merged
Merged
Commits
Commits on Oct 17, 2026
- andcommitted

- andcommitted

Commits on Oct 18, 2026