Martin from GitHub here. The "leaderboards" are actually what you see as "Most Helpful" tables in GitHub Discussions (see https://github.com/github/feedback/discussions for an example). We should probably change the language on that settings screen - thanks!

i'd like to ask a question about the "Include private contributions on my profile" feature

if i'm a member of private org does it count my contributions too? and if i'm no longer a member of the org are my contributions still counted to my profile?

Yes, and I think yes but I would need to test it to be sure. I do know the contributions disappear if you only have public contributions enabled and then turn a repo private but if you have private enabled then as long as the contributions still map to your ID it should show up. Does it not work that way for you?

the first one i can confirm, but the second one i actually do not remember

the scenario is the following: somebody invites me to their org to do some work on their private repo, then after the work is done they remove me from the org

what i expect in this case is that my contributions are still counted as long as the repository is on GitHub, even when i'm no longer a member of the org

it's a very minor feature but a very nice one for contractors like me who want to show some progress!

Sounds good - LMK if you find it's not working that way for you.

On a similar note, the screenshot should probably put emphasis on the first bullet point "Make profile private and hide activity".

What jumps to the eye right now is that second option checked, as if that's the new feature.

I took that to be these kind of things: https://github.com/mysql/mysql-server/graphs/contributors