Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
[MERGE][IMP] website_slides: improve inclusion of gamification and ranks #31133
Purpose of this merge is to improve inclusion of gamification and ranking
Some fixes are included in this merge, notably statistics computation, better
Commit linked to task ID 1941250.