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: Dec 20 2023 at 11:08 UTC