Comment by zzzeek

4 hours ago

yes. github has very minimal controls for PRs (either shut them off completely, or not at all) but through GH webhooks you can essentially script "auto-close" of PRs that dont have correct preliminary approval.

it's time for there to be some really nice workflow tooling that people can plug into their GH repos that does this and other things.