Delete any Git branch the easy way | Hacker News Reader