git command and hook that deletes local branches when a matching PR is merged MIRROR of https://gitlab.com/jtzero/git-cleanup-merged-pr-branches
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool