Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
WIP: Meta: add script to land PRs #1799
As discussed; I'll repurpose this PR to contain a "land a PR" script, which will run these validations instead of doing it on each PR.
(My understanding of the objection, which I realize I agree with, is that PR status checks should only fail when the PR author can take action to correct them)