git-cleanup Script to delete local and remote branches for closed issues or merged pull requests Borrows lots from https://github.com/jehiah/git-open-pull