After @Maxime Dénès's departure from the Coq maintainer teams he was a member of (see https://coq.zulipchat.com/#narrow/stream/240008-GitHub-notifications/topic/Coq.20Notifications/near/387541836 for the list), many teams only have two maintainers left (including contributing-process, extraction, kernel, library), and one critically has a single maintainer left (stm). It would be good to know if there are volunteers to feel in. The complete list of teams is there (for those who have access).
I added myself to stm
Last updated: Dec 05 2023 at 11:01 UTC