The all-time leaderboard feels a bit biased by older repo. maybe we should add a weekly view as well?