mergify-merge-queue
Installation
SKILL.md
Mergify Merge Queue
Overview
The merge queue serializes PR merges, running CI on temporary merge commits to catch integration failures before they reach the target branch. Use comments on the PR to queue/dequeue it, and the CLI to monitor queue state, inspect individual PRs, and manage the queue.
Queuing and Dequeuing a PR
Queue, dequeue, and requeue actions are driven by comments on the pull request, not the CLI:
| Comment | Effect |
|---|---|
@mergifyio queue |
Add the PR to the merge queue (also use to requeue a PR that was dequeued) |
@mergifyio dequeue |
Remove (dequeue) the PR from the merge queue |
When Mergify processes the comment, it adds a 👍 (thumbs up) reaction to the comment to acknowledge receipt. After queuing, use mergify queue show <PR_NUMBER> to watch the PR's status as it progresses through the queue.