Michael Richman's repositories
git-open-pull
convert a github issue into a pull request
git-cleanup
script to delete local and remote branches for closed issues or merged pull requests
convert a github issue into a pull request
script to delete local and remote branches for closed issues or merged pull requests