Skip to content

validate-pins.py and repo_shape.py: --root and gh's stderr are spelled, what stands in a pin's, the manifest's or a shape copy's place is named, and a leg's .git gitfile this user cannot open is refused by name (#919) - #952

Merged
brettheap merged 1 commit into
mainfrom
fix/919-pins-spelled-and-named
Oct 18, 2026
Merged

validate-pins.py and repo_shape.py: --root and gh's stderr are spelled, what stands in a pin's, the manifest's or a shape copy's place is named, and a leg's .git gitfile this user cannot open is refused by name (#919)#952
brettheap merged 1 commit into
mainfrom
fix/919-pins-spelled-and-named

Commits

  1. Commits on Oct 18, 2026