Skip to content
This repository has been archived by the owner on Aug 24, 2022. It is now read-only.

Split leaderboard into public and private #110

Closed
jmleroux opened this issue Sep 15, 2016 · 2 comments
Closed

Split leaderboard into public and private #110

jmleroux opened this issue Sep 15, 2016 · 2 comments

Comments

@jmleroux
Copy link
Contributor

After a discussion with G. Planchat, he told me that the leaderboard could be frustating for contributors because they cannot earn as much badges as we can, and so do not have a chance be in the leaderboard.
We maybe could make two leaderboards: one for internal people and one for all people but counting only public badges.

@grena grena added this to the 0.7 milestone Sep 22, 2016
@grena grena removed this from the 0.7 milestone Apr 3, 2017
@solivier solivier moved this from TODO to WIP in Roadmap Apr 7, 2017
@jmleroux
Copy link
Contributor Author

To be closed. I think it is done.
ping @grena

@grena
Copy link
Member

grena commented Jun 15, 2017

No unfortunately, the leaderboard take all badges, regardless the tag :(
So this issue is still relevant!

solivier pushed a commit that referenced this issue Jul 11, 2017
solivier pushed a commit that referenced this issue Jul 14, 2017
@jmleroux jmleroux closed this as completed Nov 9, 2017
@grena grena moved this from WIP to RELEASED in Roadmap Mar 6, 2018
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
Roadmap
RELEASED
Development

No branches or pull requests

2 participants