cherry-pick

name	cherry-pick
description	Cherry-pick a PR to a target version branch
argument-hint	<pr-url> <target-branch>
disable-model-invocation	true
allowed-tools	Read, Edit, Bash(git:*), Bash(gh:*), Bash(mvn:*)

Cherry-pick the PR with the GitHub URL $0 to the $1 branch. This command is only run when automated cherry-picking failed, so expect merge conflicts.

Steps

1. Gather PR information using gh pr view:

   • The base branch the PR was merged into (source branch)
   • The merge commit SHA
   • The PR branch name
   • The PR title
   • The PR description
   • The PR labels

2. Prepare branches:

   • Fetch latest commits for the source branch: git fetch origin <source-branch>
   • Fetch latest commits for the target branch: git fetch origin $1
   • Create a new branch from the remote target branch using --no-track: git checkout -b <branch-name> origin/$1 --no-track