How we turned GitHub Issues into a game | Hacker News Reader