Skip to content

fix(pin-gate): fail when a github pin names a sha unreachable from the default branch - #354

Merged
cdeust merged 1 commit into
mainfrom
fix/pin-gate-sha-reachability
Aug 4, 2026
Merged

fix(pin-gate): fail when a github pin names a sha unreachable from the default branch#354
cdeust merged 1 commit into
mainfrom
fix/pin-gate-sha-reachability

Commits

Commits on Aug 4, 2026