Menu
Run tests, squash-merge the open PR, pull master, and reset dev branch
Installer avec Codex ou Claude Copiez ce prompt, collez-le dans Codex, Claude ou un autre assistant, puis laissez-le vérifier la page du skill et l'installer pour vous.
Basé sur la classification professionnelle SOC
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.