Stream: Coq devs & plugin devs

Topic: Maintenance teams in need of maintainers


view this post on Zulip Théo Zimmermann (Aug 28 2023 at 10:03):

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).

view this post on Zulip Gaëtan Gilbert (Sep 04 2023 at 13:17):

I added myself to stm


Last updated: Oct 13 2024 at 01:02 UTC