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?

Inizia esaminando la pagina delle persone dell'organizzazione GitHub e le istruzioni collegate per rendere pubblica l'appartenenza all'organizzazione. Conferma se si tratta di un'attività del repository o di una comunicazione a livello dell'organizzazione, quindi identifica il processo di mailing appropriato. L'attività è completata quando gli sviluppatori ricevono indicazioni chiare su come rendere pubblica la propria appartenenza.