Menu
Squash-merge the open PR, pull master, and reset dev branch
Install with Codex or Claude Copy this prompt, paste it into Codex, Claude, or another assistant, and let it review the skill page and install it for you.
Based on SOC occupation classification
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.