Zulip Chat Archive

Stream: general

Topic: New maintainer


view this post on Zulip 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.

view this post on Zulip Heather Macbeth (Sep 16 2020 at 20:02):

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

view this post on Zulip 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.

view this post on Zulip Damiano Testa (Mar 15 2021 at 10:42):

Congratulations Eric!

view this post on Zulip Patrick Massot (Mar 15 2021 at 12:21):

Welcome Eric!


Last updated: May 16 2021 at 05:21 UTC