A leaderboard for a Github-related HabitRPG challenge.