are you the next mathlib maintainer?

Stream: general

[Rob Lewis]

Hi all! You may have noticed the recent surge in mathlib PRs. Our community is growing fast and the maintainer team needs some help.

The job of a maintainer isn't just to contribute to the PR queue, although most will have done so. We're looking for people who are broadly familiar with (some part of) the library, and will help with the review process on Github and maintain the friendly and open community atmosphere here on Zulip.

If you think this describes you, please get in touch with (any nonempty subset of) the current maintainers, and we can discuss in more detail the expectations and process.

@Jeremy Avigad @Reid Barton @Mario Carneiro @Bryan Gin-ge Chen @Johan Commelin @Floris van Doorn @Gabriel Ebner @Sebastien Gouezel @Simon Hudon @Chris Hughes @Yury G. Kudryashov @Rob Lewis @Patrick Massot @Scott Morrison

More generally, we're always happy to see reviews, comments, suggestions on PRs from anyone in the community. Please don't hesitate to write something if you have feedback!

[Rob Lewis]

Let's welcome @Anne Baanen to the maintainer team! Anne just got back from vacation, which is good timing, because half the other maintainers are now gone and we have a huge number of PRs. Anne, you're being thrown into the deep end here.

[Anne Baanen]

Hi all! The deep end sounds good, I didn't even have the chance to swim on my vacation :) I'm looking forward to get this PR queue sorted out.