aboutsummaryrefslogtreecommitdiff
path: root/CODE_OF_CONDUCT.md
diff options
context:
space:
mode:
authorThéo Zimmermann2018-08-01 15:36:03 +0200
committerThéo Zimmermann2018-08-31 17:11:02 +0200
commit791f9521577ebb28b5aea71e1186ffff4fba1fe1 (patch)
tree9bdadad745c3d6ec450ad80a854e12b4ca826340 /CODE_OF_CONDUCT.md
parent5780cfba6b9256e4f018a87880e4af86410d6118 (diff)
Add paragraph contributed by Cyril Cohen.
Diffstat (limited to 'CODE_OF_CONDUCT.md')
-rw-r--r--CODE_OF_CONDUCT.md11
1 files changed, 11 insertions, 0 deletions
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 ##