diff options
| author | Théo Zimmermann | 2018-08-01 15:36:03 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-08-31 17:11:02 +0200 |
| commit | 791f9521577ebb28b5aea71e1186ffff4fba1fe1 (patch) | |
| tree | 9bdadad745c3d6ec450ad80a854e12b4ca826340 | |
| parent | 5780cfba6b9256e4f018a87880e4af86410d6118 (diff) | |
Add paragraph contributed by Cyril Cohen.
| -rw-r--r-- | CODE_OF_CONDUCT.md | 11 |
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 ## |
