Repository navigation
validate-pins.py: no git to run, or a git that cannot be executed, refuses git-not-runnable, exit 2, naming the leg's gitlink, pinned commit or tree digest it could not read, instead of a traceback that exits 1 where 1 is a finding, and only a git that will not start counts, so a leg directory nobody may enter is not told to put git on PATH (#412) - #446
Merged
Merged