List of devs requires dev permission

If you go to our list of developers, it only renders the full list if you're logged into GitHub:

https://github.com/orgs/stan-dev/people

The problem is that by default, membership in an organization is private and not visible to the world. Here are the instructions for how to make it public:

https://docs.github.com/en/account-and-profile/setting-up-and-managing-your-personal-account-on-github/managing-your-membership-in-organizations/publicizing-or-hiding-organization-membership

I tried it for myself and it works. I can now see myself in the list of devs even when not logged in.

Can we send a mail to all the devs telling them they'll only be listed if they make their membership public?

Commencez par consulter la page des personnes de l’organisation GitHub et les instructions liées pour rendre publique l’appartenance à l’organisation. Confirmez s’il s’agit d’une tâche du dépôt ou d’une communication à l’échelle de l’organisation, puis identifiez le processus de mailing approprié. La tâche est terminée lorsque les développeurs reçoivent des instructions claires sur la manière de rendre leur appartenance publique.