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