Skip to content

fix(dev-lead): push guard trusts its own records, not commit email - #2385

Merged
don-petry merged 3 commits into
mainfrom
fix/issue-2313-push-guard-ownership
Oct 22, 2026
Merged

fix(dev-lead): push guard trusts its own records, not commit email#2385
don-petry merged 3 commits into
mainfrom
fix/issue-2313-push-guard-ownership

fix(dev-lead): record pushed SHAs in a ledger, never rewrite commits

2c5a5bd
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar