How we turned GitHub Issues into a game · HackerTrans