New teams

Stream: general

[Heather Macbeth]

Last month Johan posted on behalf of the maintainers that we proposed to designate a number of teams, for different aspects of mathlib and its tools. These teams are now listed on the community website!

The admin team has been selected by the current maintainers, by election. This will change year by year. The first admin team is:
@Jeremy Avigad
@Mario Carneiro
@Johan Commelin
@Gabriel Ebner
@Rob Lewis
@Heather Macbeth
@Patrick Massot
@Leonardo de Moura

We also have a CI team:
@Bryan Gin-ge Chen
@Johan Commelin
@Gabriel Ebner
@Wojciech Nawrocki
@Eric Wieser
and a website/blog team:
@Rob Lewis
@Patrick Massot
@Eric Wieser
Thank you very much to these people, who de facto have been doing this work long before there was any designated team. The Code of Conduct team already existed and is now also listed on the website:
@Jeremy Avigad
@Anne Baanen
@Simon Hudon

Some members of the mathlib reviewers team were already announced. It has continued to grow, with @Kevin Buzzard and @Joël Riou joining since the last announcement.