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?

Beginne mit der Überprüfung der GitHub-Organisationsseite mit den Personen und der verlinkten Anleitungen zum öffentlichen Bekanntgeben der Organisationsmitgliedschaft. Bestätige, ob es sich um eine Repository-Aufgabe oder um eine organisationsweite Kommunikation handelt, und ermittle anschließend den geeigneten Mailing-Prozess. Als erledigt gilt die Aufgabe, wenn die Entwickler klare Anleitungen dazu erhalten, wie sie ihre Mitgliedschaft öffentlich machen können.