A Gamified Dashboard and API for Github Repositories