New maintainer

Stream: general

[Patrick Massot]

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]

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

[Rob Lewis]

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]

Congratulations Eric!

[Patrick Massot]

Welcome Eric!