Menu
Run tests, 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
Release a new version: bump version, generate changelog, tag, and push
Show current branch, working tree status, and any open PR
Create a GitHub issue on the rigbook repo from a description or current conversation context
Push a tagged release to rigbook-build-test repo and let the workflow build it
Checkout the master branch and pull latest changes
Switch to the dev branch, creating or resetting it from master as needed
| name | merge |
| description | Run tests, squash-merge the open PR, pull master, and reset dev branch |
| disable-model-invocation | true |
| allowed-tools | Bash(git *, gh *, uv *, cd *, npm *) |
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.
Run the test suite and abort if tests fail:
uv run pytest
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.