Zulip Chat Archive

Stream: general

Topic: New maintainer

Patrick Massot (Sep 16 2020 at 17:09):

Everybody, please welcome Heather Macbeth to the maintainer team! And don't hesitate to send new PRs in geometry and analysis, she's impatient to start playing with the bors merging robot.

Heather Macbeth (Sep 16 2020 at 20:02):

Hi! Yes, let's get more geometry and analysis! Happy to be on board.

Rob Lewis (Mar 15 2021 at 10:41):

And it's time to welcome our newest maintainer @Eric Wieser ! He's already been reviewing quite a bit, now he can provoke bors himself.

Damiano Testa (Mar 15 2021 at 10:42):

Congratulations Eric!

Patrick Massot (Mar 15 2021 at 12:21):

Welcome Eric!

Last updated: Aug 03 2023 at 10:10 UTC