PR to fix username missing from minimal leaderboard

Development
1

I made a PR, please review.

https://github.com/discourse/discourse-gamification/pull/127

3

Thanks @fokx, this is now merged.