/pr-merge - PRマージ
指定されたPull Requestをマージする。
引数: /pr-merge [PR番号] (省略時は現在のブランチのPR)
手順
- 対象PRの特定
$ARGUMENTS でPR番号が指定されている場合はそのPRを対象にする。 指定がない場合は、現在のブランチに関連するPRを対象にする。
gh pr view {PR_NUMBER} --json number,title,state,mergeable,url,headRefName,baseRefName
-
PRが存在しない場合はその旨を伝えて終了
-
マージ不可(コンフリクト等)の場合は、自動解消せず以下を報告して終了する:
-
コンフリクトが発生しているファイル
-
何と何が競合しているか(どのブランチのどの変更同士か)
-
解消の方針案(ユーザーが判断できる情報)
- マージ内容の表示と確認
AskUserQuestionツールを使い、ユーザーに確認する:
以下のPRをマージします:
#{NUMBER} {TITLE} {HEAD_REF} → {BASE_REF} {URL}
マージ方式: merge commit マージ後にリモートブランチを削除します。
よろしいですか?
- マージ実行
ユーザーの承認後:
gh pr merge {PR_NUMBER} --merge --delete-branch
- ローカルの整理
git checkout dev git pull origin dev
- 完了報告
マージ完了を伝える。