skill
métier
description
mis à jour
git-merge-cleanup
Développeurs de logiciels
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
Développeurs de logiciels
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