junqueira / git-delete-merged-branches

Command-line tool to delete merged Git branches

https://pypi.org/project/git-delete-merged-branches/

Geek Repo

Github PK Tool