Clean up Git branches that have been merged into master | Dark Hacker News