メニュー
Use when you need to add a PR to a GitHub merge queue, check what's currently queued, or find out why a PR was removed from the queue. The gh CLI has no built-in merge-queue commands, so this skill provides scripts that use the GraphQL API.
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
SOC 職業分類に基づく
PR review orchestrator. Triages the change, dispatches specialized sub-agents in parallel across review dimensions, synthesizes their findings, runs PR-specific checks, and produces a structured review result. Sub-agent definitions live in sub-agents/ relative to this file.
Check whether ADR numbers in the current branch conflict with ADRs already on the PR's target branch, and renumber if needed. Use before merging a PR that adds new ADRs, to avoid number collisions with concurrently merged ADRs.
Use when the user wants to tag a release, cut a release candidate, or ship a new version. Also use when asking about release process, versioning, or how GoReleaser is configured.
Standalone procedure for reviewing any code change. Identifies the change, reads surrounding source, evaluates across six review dimensions, and compiles structured findings. Can be invoked directly for local review or delegated to by the pr-review skill.
Use when checking e2e test health or reviewing recent e2e failures on main.
Use when you need to analyze the delta between agent review and human review on a PR to identify structural repo improvements that would close review gaps or justify increased agent autonomy.
| name | merge-queue |
| description | Use when you need to add a PR to a GitHub merge queue, check what's currently queued, or find out why a PR was removed from the queue. The gh CLI has no built-in merge-queue commands, so this skill provides scripts that use the GraphQL API. |
| allowed-tools | Bash(bash skills/merge-queue/scripts/*:*) |
Run bash skills/merge-queue/scripts/enqueue-pr.sh [PR_NUMBER_OR_URL] to enqueue a PR.
Omit the argument to enqueue the current branch's PR.
If the PR is not yet eligible (checks pending, missing approvals), use
await-and-enqueue.sh instead — see below.
652 (uses the current repo context from gh)https://github.com/owner/repo/pull/652The owner/repo#number format is not supported — use a URL or number instead.
Run bash skills/merge-queue/scripts/queue-status.sh [OWNER/REPO] [BRANCH] to list PRs currently in the merge queue.
Both arguments are optional — defaults to the current repo and main branch.
Shows each entry's position, state, PR title/URL, author, enqueuer, and estimated time to merge.
Run bash skills/merge-queue/scripts/dequeue-reason.sh <PR_NUMBER_OR_URL> to find out why a PR was removed from the merge queue.
Shows each removal event's timestamp, reason (e.g. failed_checks, merge_conflict), and the commit SHA at the time of removal.
Run bash skills/merge-queue/scripts/await-and-enqueue.sh [PR_NUMBER_OR_URL] to
poll a PR until all required checks pass and the PR is approved, then
automatically enqueue it. Exits early if any check fails.
Use this when enqueue-pr.sh rejects a PR because checks are still pending.
GitHub's auto-merge API (gh pr merge --auto) does not work with merge
queues, so this script fills that gap.
Set POLL_INTERVAL (default: 30 seconds) to control how often it checks.
gh CLI authenticated with write access to the target repositoryjq installedgh token lacks sufficient permissions.await-and-enqueue.sh to poll and enqueue once they pass.gh pr merge --auto fails with merge queues — GitHub's auto-merge API does not support merge queues. Use await-and-enqueue.sh instead.