git-del-br (pypi): Git delete merged branches
Keywords: branching|delete|git|git-del