code of conduct team

Stream: general

[Jeremy Avigad]

This message is a reminder that the Lean community has a code of conduct, a code of conduct team, and an anonymous form that can be used to report incidents. You can sign the form or contact members of the team directly if there is something you want to discuss. There are links to all of these on the community information page.

@Simon Hudon, who originally founded the code of conduct team, has just stepped down, and @Riccardo Brasca has graciously agreed to take his place. Thank you Simon, and welcome Riccardo!

It speaks well for this community that the code of conduct team does not generally have much to do. On social media, it's all too easy for people to be put off by a perceived act of aggression, a thoughtless remark, or a bad joke. When that happens here, someone generally speaks up and things get resolved constructively. We have adopted the convention of using a #butterfly emoji as a way of tagging remarks that might cause offense, providing a gentle reminder that we have to be especially careful on social media to avoid hurt feelings or misunderstandings.

Thank you, everyone, for making this Zulip channel such a friendly, supportive, and pleasant place to be.