Propose a Code of Conduct for Coq.

1 files changed, 103 insertions, 0 deletions

diff --git a/CODE_OF_CONDUCT.md b/CODE_OF_CONDUCT.md
new file mode 100644
index 0000000000..c8cdfc70f5
--- /dev/null
+++ b/CODE_OF_CONDUCT.md
@@ -0,0 +1,103 @@
+# Coq Code of Conduct #
+
+The Coq development team and the user community are made up of a mixture of
+professionals and volunteers from all over the world.
+
+Diversity is a strength, but it can also lead to communication issues and
+unhappiness. To that end, we have a few ground rules that we ask people to
+adhere to. This code applies equally to core developers (who should lead by
+example), occasional contributors and those seeking help and guidance.
+
+This isn't an exhaustive list of things that you can't do. Rather, take it in
+the spirit in which it's intended - a guide to make it easier to enrich all of
+us and the technical communities in which we participate.
+
+This code of conduct applies to all spaces managed by the Coq development team.
+This includes the GitHub repository, the mailing lists, the Gitter channel,
+physical events like Coq working groups and workshops, and any other forums
+created or managed by the development team which the community uses for
+communication. In addition, violations of this code outside these spaces may
+affect a person's ability to participate within them.
+
+- **Be friendly and patient.**
+- **Be welcoming.**
+  We strive to be a community that welcomes and supports people of all
+  backgrounds and identities. This includes, but is not limited to members of
+  any origin, colour, status, educational level, sex, sexual orientation,
+  gender identity, age, political belief, religion, and mental and physical
+  ability.
+- **Be considerate.**
+  Your work will be used by other people, and you in turn will depend on the
+  work of others. Any decision you take will affect users and colleagues, and
+  you should take those consequences into account when making decisions.
+- **Be respectful.**
+  Not all of us will agree all the time, but disagreement is no excuse for poor
+  behavior and poor manners. We might all experience some frustration now and
+  then, but we cannot allow that frustration to turn into a personal attack.
+  It's important to remember that a community where people feel uncomfortable
+  or threatened is not a productive one. Members of the Coq development team
+  and user community should be respectful when dealing with other members as
+  well as with people outside the community.
+- **Be careful in the words that you choose.**
+  We are a community of professionals, and we conduct ourselves professionally.
+  Be kind to others. Do not insult or put down other participants. Harassment
+  and other exclusionary behavior aren't acceptable. This includes, but is not
+  limited to:
+  * Violent threats or language directed against another person.
+  * Discriminatory jokes and language.
+  * Posting sexually explicit or violent material.
+  * Posting (or threatening to post) other people's personally identifying
+    information ("doxing").
+  * Personal insults, especially those using racist or sexist terms.
+  * Unwelcome sexual attention.
+  * Advocating for, or encouraging, any of the above behavior.
+  * Repeated harassment of others. In general, if someone asks you to stop,
+    then stop.
+- **Remember that what you write in a public online forum might be read by
+  many people you don't know.**
+  Consider what image your words will give to outsiders of the development
+  team / the user community as a whole. Try to avoid references to private
+  knowledge to be understandable by anyone.
+- **When we disagree, try to understand why.**
+  Disagreements, both social and technical, happen all the time and Coq is no
+  exception. It is important that we resolve disagreements and differing views
+  constructively. Remember that we're different. There is strength in a varied
+  community, with people from a wide range of backgrounds. Different people
+  have different perspectives on issues. Being unable to understand why someone
+  holds a viewpoint doesn't mean that they're wrong. Don't forget that it is
+  human to err and blaming each other doesn't get us anywhere. Instead, focus
+  on helping to resolve issues and learning from mistakes.
+
+## Enforcement ##
+
+If you believe someone is violating the code of conduct, we ask that you report
+it by emailing the Coq Code of Conduct enforcement team at
+<coq-conduct@inria.fr>. Confidentiality with regard to the reporter of an
+incident will be maintained while dealing with it.
+
+In particular, you should seek support from the team instead of dealing by
+yourself with a behavior that you consider hurtful.
+
+Depending on the violation, the team can choose to address a private or public
+warning to the offender, request an apology, or ban them for a short or a long
+period of time from interacting on one or all of our forums.
+
+## Questions? ##
+
+If you have questions, feel free to write to <coq-conduct@inria.fr>.
+
+## Attribution ##
+
+This text is adapted from the
+[Django Code of Conduct](https://www.djangoproject.com/conduct/)
+which itself was adapted from the Speak Up! Community Code of Conduct.
+
+## License ##
+
+<a rel="license" href="http://creativecommons.org/licenses/by/4.0/">
+<img alt="Creative Commons License" style="border-width:0" src="https://i.creativecommons.org/l/by/4.0/88x31.png">
+</a><br>
+This work is licensed under a
+<a rel="license" href="http://creativecommons.org/licenses/by/4.0/">
+Creative Commons Attribution 4.0 International License
+</a>.