メニュー
Squash-merge the open PR, pull master, and reset dev branch
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
SOC 職業分類に基づく
Instantiate the rust-axum-template into a new project
Create a GitHub issue on the rust-axum-template repo from a description or current conversation context
Start the dev server in the background, or restart it if already running
Show current branch, working tree status, and any open PR
Stop the running dev server
| name | merge |
| description | Squash-merge the open PR, pull master, and reset dev branch |
| disable-model-invocation | true |
| allowed-tools | Bash(git *, gh *) |
Check the current branch with git branch --show-current. If not on dev, abort.
Find the open PR for dev → master:
gh pr list --head dev --base master --state open --json number,title,url
If no open PR exists, abort with an error message.
Squash-merge the PR:
gh pr merge NUMBER --squash --delete-branch
This will also delete the remote dev branch.
Switch to master and pull:
git checkout master
git pull
Delete the local dev branch if it still exists:
git branch -D dev 2>/dev/null || true
Report success with the merged PR URL and the new commit on master.