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):
Patrick Massot (Mar 15 2021 at 12:21):
Last updated: May 16 2021 at 05:21 UTC