Command-line tool to delete merged Git branches
https://github.com/hartwork/git-delete-merged-branches