ci: make the PR policy advisory instead of blocking - #8

Merged

rabestro merged 2 commits into

mainfrom

ci/relax-pr-policy

Sep 8, 2026

Commits on Sep 4, 2026

ci: make the PR policy advisory instead of blocking
rabestro
committed
609b593
ci: run the advisory policy on reopened pull requests too
rabestro
committed
4cae321