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?

Comienza revisando la página de personas de la organización en GitHub y las instrucciones enlazadas para hacer pública la pertenencia a la organización. Confirma si se trata de una tarea del repositorio o de una comunicación para toda la organización y, a continuación, identifica el proceso de mailing adecuado. Se considera completado cuando los desarrolladores reciben instrucciones claras sobre cómo hacer pública su pertenencia.