From da34b0aec5f7979b7ed16fc9d8874ac50f0563cf Mon Sep 17 00:00:00 2001
From: John Mulligan <jmulligan@redhat.com>
Date: Thu, 17 Dec 2020 13:12:22 -0500
Subject: [PATCH] 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>
---
 .github/mergify.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/mergify.yml b/.github/mergify.yml
index f27d8c6..366f53e 100644
--- a/.github/mergify.yml
+++ b/.github/mergify.yml
@@ -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"