What GitHub did to kill its trolls | Hacker News Reader