Simple and efficient way to delete remote merged branches from Git repository | Hacker News Reader