Search Results: git-scripting

cleanup-merged-branches

Delete remote branches whose PR was merged. Read-only dry-run, then confirm, then delete.