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?

まず、GitHub organization の people ページと、organization のメンバーシップを公開するためのリンク先の手順を確認します。これが repository の作業なのか、organization 全体へのコミュニケーションなのかを確認し、そのうえで適切な mailing プロセスを特定します。開発者がメンバーシップを公開する方法について明確なガイダンスを受け取れば完了です。