diff --git a/.github/mergify.yml b/.github/mergify.yml index 3b6462574..a73b6cde3 100644 --- a/.github/mergify.yml +++ b/.github/mergify.yml @@ -8,7 +8,7 @@ pull_request_rules: conditions: - "#approved-reviews-by>=1" - check-success=mergify - - label="PR: ready to merge" + - label=ready-to-merge actions: update: {} queue: @@ -17,12 +17,11 @@ pull_request_rules: - name: Delete head branch after merge conditions: - merged - # disabled October 2024 - # - label!=keep-branch-after-merge + - label!=keep-branch-after-merge actions: delete_head_branch: {} - name: Keep pull requests with keep-updated label updated conditions: - - label="PR: keep updated" + - label=keep-updated actions: update: {}