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 页面以及关于公开组织成员身份的链接说明。确认这是 repository 任务还是面向整个 organization 的沟通，然后确定适当的 mailing 流程。当开发者收到关于如何公开其成员身份的明确指导时，即视为完成。