mergify-merge-queue
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.
mergify queue show <PR> reports on a PR that is no longer in the queue too — whether it was dequeued, merged by the queue, or never queued, and why — so start there for a PR that vanished from the queue. See Diagnosing a dequeued PR; the GitHub-side surfaces documented there are the fallback for when the CLI cannot read the activity log.
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 |
@mergifyio requeue is accepted, but it is a deprecated alias that runs the same command as @mergifyio queue — there is no separate requeue behavior. Post @mergifyio queue.