The information on the website is redundant with other places. We should have only one central place to maintain a list of the members of the different teams.
A short term solution could be a config file in the governance repo.
Medium term, we could look into an operations repo that automatically syncs the team memberships to github / zulip etc.
Oh, an we could also fetch avatars and affiliations from github instead of manually maintaining them.
The information on the website is redundant with other places. We should have only one central place to maintain a list of the members of the different teams.
A short term solution could be a config file in the governance repo.
Medium term, we could look into an operations repo that automatically syncs the team memberships to github / zulip etc.
Oh, an we could also fetch avatars and affiliations from github instead of manually maintaining them.