Community
The Community team is responsible for managing forums, social media, and community events.
Teams
Code of Conduct Enforcement
The Code of Conduct Enforcement team is responsible for enforcing the Code of Conduct across all Rocq project spaces.
Code of Conduct Enforcement Team
Discourse administration and moderation
The Discourse team is responsible for the administration and moderation of the Rocq Discourse forum.
Zulip administration and moderation
The Zulip team is responsible for the administration and moderation of the Rocq Zulip chat. Moderators on Zulip are in charge of moving discussions to appropriate streams and topics.
Workshops
The Workshops Steering Committee is responsible for organizing and coordinating the Rocq workshops.
