Git: Deletion of merged branches taken beyond shell hacks | Hacker News Reader