What GitHub did to kill its trolls | Dark Hacker News