github: require explicit "no-API" label for merge on 1 review

It's too easy to forget to triage a PR with the API label, and then
if the PR looks good and is approved the mergify system will merge
it. Move to using an explicit "no-API" label for marking the PR as truly
not having API changes and not requiring a 2nd review.

Signed-off-by: John Mulligan <jmulligan@redhat.com>
This commit is contained in:
John Mulligan 2021-09-28 09:23:22 -04:00 committed by John Mulligan
parent 3fef124e9d
commit a451da9e8e
1 changed files with 1 additions and 1 deletions

2
.github/mergify.yml vendored
View File

@ -22,7 +22,7 @@ pull_request_rules:
- status-success=test-suite (pacific)
- or:
- and:
- label!=API
- label=no-API
- "#approved-reviews-by>=1"
- and:
- label=API