post-merge
SolidUse immediately after a PR is merged to clean up the local feature branch and resync main. Triggers — "/engineer.post-merge", "did we merge", "did we push", "PR merged", "post-merge cleanup", or right after a `gh pr merge` succeeds in the same session.
Install
Quality Score: 86/100
Skill Content
Details
- Author
- swingerman
- Repository
- swingerman/disciplined-agentic-engineering
- Created
- 6 months ago
- Last Updated
- today
- Language
- Python
- License
- MIT
Bundled in these plugins
Similar Skills
Semantically similar based on skill content — not just same category
merge-pr
Land an open GitHub pull request. Use whenever the user wants to MERGE, land, ship, or close out an open PR: waits for CI, applies corrections until mergeable (red checks, conflicts with the latest `main`, unresolved review), squash-merges, triages follow-ups, and tears down the branch and worktree. Triggers: "merge PR 279", "land #281", "ship this PR", "get that PR merged once CI's green", "wrap up 279 and open follow-ups", « merge la PR 279 », « fais atterrir la 281 », a bare PR link with "merge it". Does NOT apply to opening or implementing a PR, to syncing one STILL BEING BUILT (implement-issue), to reviewing without merging (code-review), or to filing an issue (create-issue).
workflow-cleanup-merged
Use after a PR has been merged on GitHub to remove the local worktree, delete the local branch, delete the remote branch, and fast-forward local main — safely, with squash-merge support.
finishing-work
Runs the post-merge close-out tail creating-prs doesn't: return to main and pull, delete the merged branch, prune stale remote refs, prompt for a tracker flip + sync:hub, prompt for a work log. Use for /finishing-work, "clean up after this PR", "the PR merged, wrap this up", or when a merged branch/worktree/refs linger. GitHub stance: gh CLI (ADR-0030), matching creating-prs.