Gh Release Push — Development skill for Claude Code

Tag and push a release from green `main`.

Precondition — main branch, no worktree

A release tags a green `main`. It produces no code change and never runs on a worktree branch. Stop immediately if the current branch is not `main`:

branch=$(git branch --show-current)
[ "$branch" = "main" ] || { echo "Release must run on main (currently on '$branch'). Abort."; exit 1; }

Steps

1. Run the repo's full release gate set. Where mage -l lists targets, mage tag is the entry p