1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
|
# Rocq Code of Conduct #
The Rocq development team and the user community are made up of a mixture of
professionals and volunteers from all over the world.
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 in order to make
participation in our community a positive experience for
everyone.
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 Rocq or
interacting with others in Rocq related forums.
These rules apply to all spaces managed by the Rocq development team.
This includes the GitHub repository, the Discourse forum, the Zulip chat, the mailing lists,
physical events like Rocq 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 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 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
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 Rocq 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.**
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
resolve a dispute or to let a discussion flourish. 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 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
team / the user community as a whole. Try to avoid references to private
knowledge to be understandable by anyone.
- **Rocq online forums are only to discuss Rocq-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 Rocq is no
exception. It is important that we resolve disagreements and differing views
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.
- **Be considerate of others' resources, including time and attention.**
Long messages, for example, take more time for others to read and respond to, and
make it harder to determine what the most important points are,
risking miscommunication when multiple participants have different
views about what issue is being discussed. Short, concise messages are often more
efficient and help prevent communication misunderstandings.
- **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 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.
- **Default to using public rather than personal (member-to-member) communication.**
Personal communication channels (e.g., direct messages on Zulip or
personal emails) limit the visibility of interactions for other users and
contributors, preventing them from benefiting from shared
knowledge. Additionally, unsolicited private communication can
sometimes be perceived as too intrusive.
- **Be mindful to avoid repeated actions that form a pattern of harassment.**
Harassment is not limited to any single source or type of
behavior. It typically arises from repeated actions that may seem
harmless individually but, over time, contribute to a hostile
environment.
## Interaction on Rocq forums (Zulip, Discourse, etc.) ##
Anyone is welcome to ask questions and bring answers, provided they
respect the aforementioned rules. In addition we ask that
- you do your best to put your questions into their context by
providing Rocq code or pointers to it, and enough indications to
understand where the Rocq goals or error message come from.
- if you are running through educational material, we kindly ask you
to explicitly state it, and that answers do not solve such exercises
for you, but only provide hints.
Admins and moderators will, at their discretion, review and remove
some content, and provide indications or warnings to users. Repeatedly
not taking into accounts these warnings may result into a temporary or
permanent ban.
Based on forum histories, short technical questions with brief code examples
in the proper context are the most likely to receive useful answers. In
contrast, long and open-ended questions or comments usually see less engagement.
This is not to say that long questions or comments that otherwise abide by the
rules are discouraged, only that users should carefully set expectations about
what answers they are likely to receive.
## Enforcement ##
If you believe someone is violating the code of conduct, we ask that you report
it by emailing the Rocq Code of Conduct enforcement team at
<coq-conduct@inria.fr> or, at your discretion, any member of the team.
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. 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.
The enforcement team will take all interactions into account when
assessing potential code of conduct violations, including any personal
communications brought to their attention.
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 from interacting on one or all spaces managed by the Rocq
development team (both online and offline).
The ban may apply to anyone, including members of the Rocq development
team, in which case the developer will lose their privileges for the
duration of the ban and may need to rebuild trust to regain them.
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.
The members of the team are currently:
- Matthieu Sozeau
- Nicolas Tabareau
- Théo Zimmermann
## 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][django-code-of-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>.
[django-code-of-conduct]: https://web.archive.org/web/20180714161115/https://www.djangoproject.com/conduct/
|
