skill
ocupación
descripción
actualizado
git-merge-cleanup
Desarrolladores de software
Merge a GitHub PR (or confirm already merged), delete the feature branch, checkout main, and sync local. Use when user says merge the PR, PR merged clean up, switch back to main and delete the feat branch.
2026-07-22
git-ship-pr
Desarrolladores de software
Ship work: ensure feature branch, confirm commit plan, commit, push, open GitHub PR. Use when user says ship, open PR, commit and push, create PR, or 'ok close the task and create PR'.
2026-07-22