Git: Removing local branches which are deleted on remote | Hacker News Reader