Git: Delete your local branches with the remote | Hacker News Reader