]> git.ipfire.org Git - thirdparty/Python/cpython.git/commitdiff
[3.11] Also fail DO-NOT-MERGE when "awaiting changes" or "awaiting change review...
authorŁukasz Langa <lukasz@langa.pl>
Tue, 25 Apr 2023 00:48:17 +0000 (02:48 +0200)
committerGitHub <noreply@github.com>
Tue, 25 Apr 2023 00:48:17 +0000 (00:48 +0000)
"awaiting changes" means somebody put a review that requested changes.

"awaiting change review" means that the PR author published changes
after a red review and then requested a re-review.

(cherry picked from commit b51da991e2f7b47efaee2665356060edb6a6ece4)

.github/workflows/require-pr-label.yml

index 151a60c2c04d26b5e5d8f1f678ee9aad03b646f7..916bbeb4352734dfbef689e485baa969f6ab98e3 100644 (file)
@@ -6,7 +6,7 @@ on:
 
 jobs:
   label:
-    name: DO-NOT-MERGE
+    name: DO-NOT-MERGE / unresolved review
     runs-on: ubuntu-latest
     timeout-minutes: 10
 
@@ -15,4 +15,4 @@ jobs:
         with:
           mode: exactly
           count: 0
-          labels: "DO-NOT-MERGE"
+          labels: "DO-NOT-MERGE, awaiting changes, awaiting change review"