Skip to content

Commit

Permalink
ci(Mergify): configuration update (#250)
Browse files Browse the repository at this point in the history
Signed-off-by: Xavier Portilla Edo <null>
  • Loading branch information
xavidop authored Apr 5, 2024
1 parent 9230f69 commit be9be99
Showing 1 changed file with 0 additions and 15 deletions.
15 changes: 0 additions & 15 deletions .mergify.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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:
Expand Down

0 comments on commit be9be99

Please sign in to comment.