基于 SOC 职业分类
用 Codex 或 Claude 帮你安装 复制这段 Prompt,粘贴到 Codex、Claude 或其他助手里,让它检查 Skill 页面并帮你完成安装。
直接命令不会经过审查 Prompt;运行前请先检查来源。
npx skills add https://github.com/AztecProtocol/aztec-packages --skill backport命令会保持在同一行。复制前请横向滚动并检查完整内容。
想先保存到本地?可下载 SkillsMP 当前能够提供的文件。
正在显示 SKILL.md
Reference for merge-train automation internals -- workflows, scripts, CI integration, and configuration. Use when modifying or debugging merge-train infrastructure.
Analyze Linear issues, validate them against the codebase, then implement fixes and create draft PRs.
Compile noir-protocol-circuits (kernels, rollup, etc.) and compute their gate counts with `bb gates`, for both the chonk (client IVC) and ultra_honk schemes. Use when asked to regenerate circuit variants, compile protocol circuits, or measure gate/circuit sizes.
| name | backport |
| description | Backport a merged PR to a release branch, resolving conflicts if needed |
| argument-hint | <PR number> <target branch> |
Backport a merged PR to a release branch staging area. Uses the existing
scripts/backport_to_staging.sh for the happy path, then resolves conflicts
manually if the diff does not apply cleanly.
/backport 12345 v4 # release branch
/backport 12345 v4-devnet-2 # devnet branch
Confirm exactly two arguments are provided: a PR number and a target branch.
Supported target branches:
v2, v3, v4v4-devnet-1, v4-devnet-2, etc.Abort if:
gh pr view <PR> --repo AztecProtocol/aztec-packages --json state,title
Abort if:
state is not MERGED -> "PR # is , only merged PRs can be backported."Check whether this PR has already been backported to the staging branch by looking for its PR number in the commit log:
STAGING_BRANCH="backport-to-${TARGET_BRANCH}-staging"
git fetch origin "$STAGING_BRANCH" 2>/dev/null
if git log "origin/$STAGING_BRANCH" --oneline --grep="(#<PR_NUMBER>)" | grep -q .; then
echo "PR #<PR_NUMBER> has already been backported to $STAGING_BRANCH."
fi
Abort if the PR number appears in the staging branch commit log. Show the matching commit(s) and tell the user the backport already exists.
Create a temporary worktree so the backport does not disturb the user's current branch or working tree. Save the original directory to return to later.
ORIGINAL_DIR=$(pwd)
REPO_ROOT=$(git rev-parse --show-toplevel)
WORKTREE_DIR=$(mktemp -d)
git worktree add "$WORKTREE_DIR" HEAD
cd "$WORKTREE_DIR"
All subsequent steps run inside the worktree. On completion or failure, always clean up (see Step 10).
Run the backport script from the worktree:
./scripts/backport_to_staging.sh <PR_NUMBER> <TARGET_BRANCH>
If the script succeeds: Skip to Step 10 (cleanup and report).
If the script fails: Continue to Step 6 (conflict resolution).
The script will have left the worktree on the backport-to-<TARGET_BRANCH>-staging
branch with partially applied changes and .rej files for hunks that failed.
Verify current branch is backport-to-<TARGET_BRANCH>-staging
Identify the state of the working tree:
git status
Find all reject files:
find . -name '*.rej' -not -path './node_modules/*' -not -path './.git/*'
Get the full PR diff for reference:
gh pr diff <PR_NUMBER>
For each .rej file:
.rej file after resolvingAlso check for files that may need to be created or deleted based on the PR diff but were not handled by the partial apply.
Important considerations:
next. Do not assume
the surrounding code is the same as in the original PR.Check if changes exist in yarn-project:
git diff --name-only | grep '^yarn-project/' || true
If yarn-project changes exist, run from yarn-project:
yarn build
Check if changes exist outside yarn-project:
git diff --name-only | grep -v '^yarn-project/' || true
If changes exist outside yarn-project, run bootstrap from the repo root:
./bootstrap.sh build yarn-project
Fix any build errors that arise from the backport adaptation.
Clean up and let the script handle commit, push, and PR management:
find . -name '*.rej' -delete
git add -A
./scripts/backport_to_staging.sh --continue <PR_NUMBER> <TARGET_BRANCH>
Return to the original directory and remove the temporary worktree:
cd "$ORIGINAL_DIR"
git worktree remove "$WORKTREE_DIR"
Always clean up the worktree, even if earlier steps failed. If git worktree remove fails (e.g., uncommitted changes), use git worktree remove --force.
Print a summary:
--continue after resolving: The script's --continue mode picks up where
the initial run left off (commit, push, PR creation, body update).--author to set the original PR
author on the commit. The committer stays as whoever runs the command (GPG signing
works).yarn build or bootstrap to confirm the
backport compiles. Do not run the full test suite -- that is CI's job..rej files: Always delete .rej files before committing.backport-to-{TARGET_BRANCH}-staging (e.g., backport-to-v4-staging,
backport-to-v4-devnet-2-staging). Multiple backports accumulate on the same
staging branch and get merged together.