Clean up Git branches that have been merged into master
github.com