From be9be99c85c54526b58acc4fa6bf56792901a26f Mon Sep 17 00:00:00 2001 From: Xavier Portilla Edo Date: Fri, 5 Apr 2024 11:52:03 +0200 Subject: [PATCH] ci(Mergify): configuration update (#250) Signed-off-by: Xavier Portilla Edo --- .mergify.yml | 15 --------------- 1 file changed, 15 deletions(-) diff --git a/.mergify.yml b/.mergify.yml index 902c5da9..2e8af3f2 100644 --- a/.mergify.yml +++ b/.mergify.yml @@ -35,21 +35,6 @@ pull_request_rules: label: toggle: - merge-queued - - name: Notify when a PR is removed from the queue - description: >- - Notify the PR author when its pull request is removed from the merge - queue. - conditions: - - queue-dequeue-reason != none - - queue-dequeue-reason != pr-merged - actions: - comment: - message: > - Hey @{{author}}, your pull request has been dequeued due to the - following reason: {{queue_dequeue_reason}}. - - Sorry about that, but you can requeue the PR by using `@mergifyio - requeue` if you think this was a mistake. - name: Label conflicting pull requests description: Add a label to a pull request with conflict to spot it easily conditions: