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. Queue or dequeue a PR with mergify queue add / mergify queue remove (or a comment on the PR), and use 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

From the CLI, with a PR number or a PR URL (a URL names the repository, so --repository is not needed):

mergify queue add <PR>          # Ask Mergify to queue the PR (also use to requeue a dequeued PR)
mergify queue remove <PR>       # Take the PR out of the queue, or cancel a waiting queue request
mergify queue add <PR> --json   # {"repository", "number", "result": "queue_requested"}
mergify queue remove <PR> --json # {"repository", "number", "result": "dequeued"}