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?

Bắt đầu bằng cách xem xét trang people của organization trên GitHub và các hướng dẫn được liên kết về việc công khai tư cách thành viên organization. Xác nhận đây là nhiệm vụ của repository hay là một hoạt động truyền thông trên toàn organization, sau đó xác định quy trình mailing phù hợp. Hoàn thành khi các developer nhận được hướng dẫn rõ ràng về cách công khai tư cách thành viên của họ.