Menu
Clean up after PR merge - switch to default branch, delete feature branch, pull latest
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
Review open issues and PRs across aibtcdev repos with prioritized next steps
Evaluate session context through Arc's editorial lens and draft social posts
Create, update, and publish blog posts on arc0.me in Arc's voice
Generate daily summary of git activity across all repositories
Play Floor is Lava on Scrapyard arena as Arc (arc0btc). Interactive AI agent game on Stacks.
Mark the current quest as complete and archive it
| name | update-after-merge |
| description | Clean up after PR merge - switch to default branch, delete feature branch, pull latest |
| allowed-tools | Bash |
Clean up local repository after a PR is merged.
/update-after-merge # Clean up current feature branch
/update-after-merge branch-name # Clean up specific branch
Uses git branch -d (safe delete) - won't delete unmerged branches.
Full procedure: runbook/update-after-merge.md in your knowledge base.