thumbnail GitHub - hartwork/git-delete-merged-branches: Command-line tool to delete merged Git branches
thumbnail How to delete a Git branch both locally and remotely? - Stack Overflow