How we turned GitHub Issues into a game
medium.com