Skip to content

validate-pins.py: a leg git directory's HEAD this user cannot open, under .git/modules/<leg> or in a .git directory, is refused pin-submodule-unreadable by name, where it ended pin-commit-unresolvable (#1222) - #1239

Merged
brettheap merged 3 commits into
mainfrom
l3-1222-gate-head-unreadable
Nov 10, 2026
Merged

validate-pins.py: a leg git directory's HEAD this user cannot open, under .git/modules/<leg> or in a .git directory, is refused pin-submodule-unreadable by name, where it ended pin-commit-unresolvable (#1222)#1239
brettheap merged 3 commits into
mainfrom
l3-1222-gate-head-unreadable

Commits

  1. Commits on Oct 23, 2026

  2. Commits on Nov 9, 2026

  3. Commits on Nov 10, 2026