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?

Start by reviewing the GitHub organization people page and the linked instructions for publicizing organization membership. Confirm whether this is a repository task or an organization-wide communication, then identify the appropriate mailing process. Done means the developers receive clear guidance about making their membership public.