Commit Graph

1 Commits (e886d2d0306e7d085c0dd558a6fbc8a2457e24a3)

Author SHA1 Message Date
Jason Ish c0fd86f5b6 github-ci: close PRs updated after being opened
Enforce our policy of requiring a new pull request whenever changes are
made to an existing one. On any push to an open, non-draft pull request
the workflow comments with the policy and closes the pull request.
5 months ago