Skip to content

Refuse a pull request that does not target main - #463

Merged
jeremymanning merged 1 commit into
mainfrom
ci/require-main-base
Aug 3, 2026
Merged

Refuse a pull request that does not target main#463
jeremymanning merged 1 commit into
mainfrom
ci/require-main-base

Commits

Commits on Aug 3, 2026