voxpelli, I highly recommend the gh-poi tool for anyone that is working in a PR-oriented workflow towards GitHub: https://github.com/seachicken/gh-poi
With a single command you can remove all local branches that have been merged and deleted from the repository.
Its like a prune on stereoids
Add comment