Zulip Chat Archive

Stream: general

Topic: new maintainers

Rob Lewis (Jan 11 2020 at 20:57):

We have two new additions to the mathlib maintainers list: @Gabriel Ebner and @Yury G. Kudryashov . Welcome, guys!

Rob Lewis (Jan 11 2020 at 20:58):

And a reminder to everyone: even though maintainers have merge rights, we're very happy to see PR reviews from any and everybody.

Yury G. Kudryashov (Jan 11 2020 at 20:58):

Thank you!

Kevin Buzzard (Jan 11 2020 at 22:37):

This is great news. Thanks to both Gabriel and Yury.

Chris B (Jan 12 2020 at 04:32):

Congrats, and thanks to all of the maintainers for your hard work.

Patrick Massot (Jan 26 2022 at 17:43):

The mathlib maintainer team is very pleased to welcome three new members: @Riccardo Brasca, @Frédéric Dupuis and @Kyle Miller! If you're loosing track of the composition of this team, you can find it here.

Heather Macbeth (Jan 26 2022 at 21:09):

Rob Lewis said:

And a reminder to everyone: even though maintainers have merge rights, we're very happy to see PR reviews from any and everybody.

Last updated: Dec 20 2023 at 11:08 UTC