Add new DON'T MERGE check (#1046)

* Add new DON'T MERGE check * change label
scverse · Aug 29, 2023 · 22f33bb · 22f33bb
1 parent 1eaa56c
commit 22f33bb
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/.github/workflows/check-pr-milestoned.yml b/.github/workflows/check-pr-milestoned.yml
@@ -20,12 +20,16 @@ on:
       - synchronize
 
 env:
-  LABELS: ${{ join( github.event.pull_request.labels.*.name, '|' ) }}
+  LABELS: ${{ join(github.event.pull_request.labels.*.name, '|') }}
 
 jobs:
   check-milestone:
     name: "Triage: Check Milestone"
     runs-on: ubuntu-latest
     steps:
-      - if: github.event.pull_request.milestone == null && contains( env.LABELS, 'no milestone' ) == false
+      - name: Check if merging isn’t blocked
+        if: contains(env.LABELS, 'DON’T MERGE')
+        run: exit 1
+      - name: Check if a milestone is necessary and exists
+        if: github.event.pull_request.milestone == null && contains(env.LABELS, 'no milestone') == false
         run: exit 1