community code of conduct

Stream: general

[Rob Lewis]

Hi all! It's common practice in open source communities to have a code of conduct for participation in the community. GitHub has been reminding us for a while that we don't have one. I think it's time to fix this.

We propose adding the following text to the community page of the website. This is not in response to anything at all, and hopefully we never have to act on it! But I think it's good to establish this proactively. Suggestions are welcome.

Community guidelines

We are devoted to developing an open and accepting community
that welcomes participation from everyone.
Behavior that is offensive, discriminatory, or aggressive
will not be tolerated in any form.
We adopt the Contributor Covenant Code of Conduct.
These guidelines apply to the
Lean Zulip chat 
and the leanprover-community GitHub organization.

The maintainer team enforces this code of conduct.
Jeremy Avigad, Simon Hudon, and Anne Baanen serve as first points of contact
for reporting any concerns.
We also provide an anonymous form
to report incidents that violate the community guidelines.

We encourage a policy of de-escalation in the presence of unwelcome behavior.
If you perceive someone acting in a way that violates our code of conduct,
please do not respond in the same way; instead, take action to correct the behavior,
such as reporting it to the moderators.

[Mario Carneiro]

To clarify, this has been circling among the maintainers and we're all in favor of it

[Rob Lewis]

Mario Carneiro said:

To clarify, this has been circling among the maintainers and we're all in favor of it

Oops, thanks! That was the "we" in "we propose" :) I don't mean to put words in the maintainers' mouths, but yes, the maintainers are in favor.

[Rob Lewis]

I'm bumping this thread just in case there are more comments! I see a lot of :heart: replies. If nobody wants to add anything more, then we can merge this soon :)