Update merge-all-prs.yml

theballaam96 · May 17, 2024 · 2d6d6dd · 2d6d6dd
1 parent cad7b8b
commit 2d6d6dd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/merge-all-prs.yml b/.github/workflows/merge-all-prs.yml
@@ -25,7 +25,7 @@ jobs:
     - name: Filter and merge pull requests
       id: filter_and_merge
       run: |
-        FORBIDDEN_LABEL="do-not-merge"
+        FORBIDDEN_LABEL="batch-merge-ignore"
         PRS=$(jq -c '.[]' pr_list.json)
         for PR in $PRS; do
           PR_NUMBER=$(echo $PR | jq -r '.number')