Searching protocol for "merge-cleanup"
Automates post-merge git cleanup and status
Post-merge cleanup: switch to main, delete branch
Safely squash and merge GitHub PRs.
Clean up after merging branches.
Streamline GitHub PR lifecycles end-to-end.
Clean up local Git branches.
Streamline PR workflows end-to-end.
Safely merge PRs with automated checks.
PR Manager: manage PR lifecycles end-to-end.
Policy-driven branching automation.
Guide finishing a development branch with options.
Finish branches safely with validated merges.