From 3fead6af47a37c82d5f07432600a713055d75877 Mon Sep 17 00:00:00 2001 From: Théo Zimmermann Date: Sat, 14 Jul 2018 01:01:54 +0200 Subject: Propose a Code of Conduct for Coq. --- CODE_OF_CONDUCT.md | 103 +++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 103 insertions(+) create mode 100644 CODE_OF_CONDUCT.md 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 +. 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 . + +## 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 ## + + +Creative Commons License +
+This work is licensed under a + +Creative Commons Attribution 4.0 International License +. -- cgit v1.2.3 From 6f8f51ceecc35639a5bbd4ca333ae392b09f9be8 Mon Sep 17 00:00:00 2001 From: Théo Zimmermann Date: Sat, 14 Jul 2018 18:12:54 +0200 Subject: Permalink to Django code of conduct using Archive.org. --- CODE_OF_CONDUCT.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/CODE_OF_CONDUCT.md b/CODE_OF_CONDUCT.md index c8cdfc70f5..ba42955239 100644 --- a/CODE_OF_CONDUCT.md +++ b/CODE_OF_CONDUCT.md @@ -88,8 +88,7 @@ If you have questions, feel free to write to . ## Attribution ## -This text is adapted from the -[Django Code of Conduct](https://www.djangoproject.com/conduct/) +This text is adapted from the [Django Code of Conduct][django-code-of-conduct] which itself was adapted from the Speak Up! Community Code of Conduct. ## License ## @@ -101,3 +100,5 @@ This work is licensed under a Creative Commons Attribution 4.0 International License . + +[django-code-of-conduct]: https://web.archive.org/web/20180714161115/https://www.djangoproject.com/conduct/ -- cgit v1.2.3 From 452b7c5fc2e2b9fadcf6b91e27c7af72874d8a82 Mon Sep 17 00:00:00 2001 From: Théo Zimmermann Date: Sun, 15 Jul 2018 16:01:02 +0200 Subject: Suggestions by Hugo. --- CODE_OF_CONDUCT.md | 27 +++++++++++++++------------ 1 file changed, 15 insertions(+), 12 deletions(-) diff --git a/CODE_OF_CONDUCT.md b/CODE_OF_CONDUCT.md index ba42955239..cf91d94c61 100644 --- a/CODE_OF_CONDUCT.md +++ b/CODE_OF_CONDUCT.md @@ -41,18 +41,18 @@ affect a person's ability to participate within them. - **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. + and other exclusionary behavior aren't acceptable. + * Violent language or threats or personal insults have no chance to + resolve a dispute or to let a discussion florish. Worse, they can + hurt durably, or generate durable fears. They are thus unwelcome. + * Not everyone is comfortable with sexually explicit or violent + material, even as a joke. In an online open multicultural world, you + don't know who might be listening. So be cautious and responsible + with your words. + * Discussions are online and recorded for posterity; we all have our + right for privacy and online gossiping as well as posting or + threatening to post other people's personally identifying + information is unwelcome. - **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 @@ -67,6 +67,9 @@ affect a person's ability to participate within them. 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. +- **Coq online forums are only to discuss Coq-related subjects.** + Unrelated policitical discussions or long disgressions are unwelcome, + even for illustration or comparison purposes. ## Enforcement ## -- cgit v1.2.3 From f0ea387a2df690b074d630e3d8b7ba2ab8fe33bf Mon Sep 17 00:00:00 2001 From: Théo Zimmermann Date: Sun, 15 Jul 2018 23:59:26 +0200 Subject: Make goal that everyone feel safe more explicit. --- CODE_OF_CONDUCT.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/CODE_OF_CONDUCT.md b/CODE_OF_CONDUCT.md index cf91d94c61..302485c2f7 100644 --- a/CODE_OF_CONDUCT.md +++ b/CODE_OF_CONDUCT.md @@ -6,7 +6,9 @@ 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. +example), occasional contributors and those seeking help and guidance. The +goal of these rules is that everyone feels safe when contributing to Coq or +interacting with others in Coq related forums. 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 -- cgit v1.2.3 From 24e7a552c3386956c367f7882d59f23e2595cce9 Mon Sep 17 00:00:00 2001 From: Théo Zimmermann Date: Mon, 23 Jul 2018 08:18:01 +0200 Subject: Add code owners for the Code of Conduct. --- .github/CODEOWNERS | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS index 5be434c8b7..22d00e1d64 100644 --- a/.github/CODEOWNERS +++ b/.github/CODEOWNERS @@ -35,6 +35,9 @@ /CONTRIBUTING.md @Zimmi48 # Secondary maintainer @maximedenes +/CODE_OF_CONDUCT.md @Zimmi48 +# Secondary maintainer @mattam82 + /dev/doc/ @Zimmi48 # Secondary maintainer @maximedenes -- cgit v1.2.3 From 5780cfba6b9256e4f018a87880e4af86410d6118 Mon Sep 17 00:00:00 2001 From: Théo Zimmermann Date: Thu, 26 Jul 2018 11:08:03 +0200 Subject: Expand the section on enforcement: - make explicit that members of the enforcement team shouldn't be at once participant in a discussion and moderators; - try to be more positive by defending a pedagogical approach to address most violations. --- CODE_OF_CONDUCT.md | 14 +++++++++++--- 1 file changed, 11 insertions(+), 3 deletions(-) diff --git a/CODE_OF_CONDUCT.md b/CODE_OF_CONDUCT.md index 302485c2f7..0e439ac522 100644 --- a/CODE_OF_CONDUCT.md +++ b/CODE_OF_CONDUCT.md @@ -70,7 +70,7 @@ affect a person's ability to participate within them. human to err and blaming each other doesn't get us anywhere. Instead, focus on helping to resolve issues and learning from mistakes. - **Coq online forums are only to discuss Coq-related subjects.** - Unrelated policitical discussions or long disgressions are unwelcome, + Unrelated political discussions or long digressions are unwelcome, even for illustration or comparison purposes. ## Enforcement ## @@ -81,11 +81,19 @@ it by emailing the Coq Code of Conduct enforcement team at 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. +yourself with a behavior that you consider hurtful. This applies to members of +the enforcement team as well, who shouldn't deal by themselves with violations +in discussions in which they are a participant. 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. +period from interacting on one or all of our forums. + +Except in case of serious violations, the team will always try a pedagogical +approach first (the offender does not necessarily realize immediately why their +behavior is wrong). We consider short bans to form part of the pedagogical +approach, especially when they come with explanatory comments, as this can give +some time to the offender to calm down and think about their actions. ## Questions? ## -- cgit v1.2.3 From 791f9521577ebb28b5aea71e1186ffff4fba1fe1 Mon Sep 17 00:00:00 2001 From: Théo Zimmermann Date: Wed, 1 Aug 2018 15:36:03 +0200 Subject: Add paragraph contributed by Cyril Cohen. --- CODE_OF_CONDUCT.md | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/CODE_OF_CONDUCT.md b/CODE_OF_CONDUCT.md index 0e439ac522..cc34427aed 100644 --- a/CODE_OF_CONDUCT.md +++ b/CODE_OF_CONDUCT.md @@ -72,6 +72,17 @@ affect a person's ability to participate within them. - **Coq online forums are only to discuss Coq-related subjects.** Unrelated political discussions or long digressions are unwelcome, even for illustration or comparison purposes. +- **It is human to make errors, and please try not to take things personally.** + Please do not answer aggressively to problematic behavior and simply + signal the issue. If actions have been taken with you (e.g. bans or simple + demands of apology, of rephrasing or keeping personal beliefs or troubles + private), please understand that they are not intended as aggression or + punishment ― even if you they feel harsh to you ― but as ways to enforce a + calm communication for the other participants and to give you the opportunity + to change your behavior. We understand you may feel hurt, or maybe you had a + bad day, so please take this opportunity to question yourself, cool down if + necessary and do not persist in the exact same behavior you have been + reported for. ## Enforcement ## -- cgit v1.2.3 From 8bcdcb34fa08acaef48be685232b7402495e7ac7 Mon Sep 17 00:00:00 2001 From: Théo Zimmermann Date: Wed, 1 Aug 2018 16:00:12 +0200 Subject: Move paragraph on Coq-related subjects up. --- CODE_OF_CONDUCT.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/CODE_OF_CONDUCT.md b/CODE_OF_CONDUCT.md index cc34427aed..fd599232d9 100644 --- a/CODE_OF_CONDUCT.md +++ b/CODE_OF_CONDUCT.md @@ -60,6 +60,9 @@ affect a person's ability to participate within them. 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. +- **Coq online forums are only to discuss Coq-related subjects.** + Unrelated political discussions or long digressions are unwelcome, + even for illustration or comparison purposes. - **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 @@ -69,9 +72,6 @@ affect a person's ability to participate within them. 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. -- **Coq online forums are only to discuss Coq-related subjects.** - Unrelated political discussions or long digressions are unwelcome, - even for illustration or comparison purposes. - **It is human to make errors, and please try not to take things personally.** Please do not answer aggressively to problematic behavior and simply signal the issue. If actions have been taken with you (e.g. bans or simple -- cgit v1.2.3 From ddce09aa86e469676eefb21dccac3f09284c0e0c Mon Sep 17 00:00:00 2001 From: Théo Zimmermann Date: Fri, 3 Aug 2018 12:40:58 +0200 Subject: Trying to make the code of conduct shorter and more to the point. --- CODE_OF_CONDUCT.md | 40 +++++++++++++++------------------------- 1 file changed, 15 insertions(+), 25 deletions(-) diff --git a/CODE_OF_CONDUCT.md b/CODE_OF_CONDUCT.md index fd599232d9..8eee2009c9 100644 --- a/CODE_OF_CONDUCT.md +++ b/CODE_OF_CONDUCT.md @@ -2,32 +2,27 @@ 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. The -goal of these rules is that everyone feels safe when contributing to Coq or +Diversity brings variety of perspectives that can be very valuable, but it can +also lead to communication issues and unhappiness. Therefore, we have a few +ground rules that we ask people to adhere to. +These rules apply equally to core developers (who should lead by example), +occasional contributors and those seeking help and guidance. +Their goal is that everyone feels safe and welcome when contributing to Coq or interacting with others in Coq related forums. -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. +These rules apply 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 +communication. In addition, violations of these rules 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. + backgrounds and identities. This includes, but is not limited to people of + any origin, color, status, educational level, gender identity, sexual + orientation, age, culture and beliefs, 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 @@ -41,7 +36,6 @@ affect a person's ability to participate within them. 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. * Violent language or threats or personal insults have no chance to @@ -52,9 +46,8 @@ affect a person's ability to participate within them. don't know who might be listening. So be cautious and responsible with your words. * Discussions are online and recorded for posterity; we all have our - right for privacy and online gossiping as well as posting or - threatening to post other people's personally identifying - information is unwelcome. + right for privacy and online gossiping as well as posting or threatening to + post other people's personally identifying information is prohibited. - **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 @@ -66,12 +59,9 @@ affect a person's ability to participate within them. - **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 + constructively. Remember that we are different. 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. + holds a viewpoint doesn't mean that they're wrong. - **It is human to make errors, and please try not to take things personally.** Please do not answer aggressively to problematic behavior and simply signal the issue. If actions have been taken with you (e.g. bans or simple -- cgit v1.2.3