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

validate-pins.py and repo_shape.py: `--root` and gh's stderr are spel…

8a7671b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar