github: do not automatically merge on "extended-review" label

The "extended-review" label indicates that review is likely to take
an extended period of time and for bots to not automatically take
a PR.

This avoid the need to preemptively mark a PR as changes needed or
give a false impression with a "do-not-merge" tag, which has a subtle
lack-of-quality implication.

Signed-off-by: John Mulligan <jmulligan@redhat.com>
This commit is contained in:
John Mulligan 2020-12-17 13:12:22 -05:00 committed by John Mulligan
parent f3e39224ec
commit da34b0aec5
1 changed files with 1 additions and 0 deletions

1
.github/mergify.yml vendored
View File

@ -10,6 +10,7 @@ pull_request_rules:
- name: automatic merge
conditions:
- label!=do-not-merge
- label!=extended-review
- base=master
- "#approved-reviews-by>=2"
- "#changes-requested-reviews-by=0"