Clean up your local branches after merge and delete in GitHub | Hacker News Reader