Skip to content

ci: gate main-targeted PRs on human authorship too - #2840

Merged
Hugo0 merged 1 commit into
mainfrom
ci/human-authors-on-main
Aug 27, 2026
Merged

ci: gate main-targeted PRs on human authorship too#2840
Hugo0 merged 1 commit into
mainfrom
ci/human-authors-on-main

Commits

Commits on Aug 26, 2026