diff options
| author | Théo Zimmermann | 2018-08-01 16:00:12 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-08-31 17:11:02 +0200 |
| commit | 8bcdcb34fa08acaef48be685232b7402495e7ac7 (patch) | |
| tree | 401ca406dc22915bbde1d7b63670481b9c1a410f /CODE_OF_CONDUCT.md | |
| parent | 791f9521577ebb28b5aea71e1186ffff4fba1fe1 (diff) | |
Move paragraph on Coq-related subjects up.
Diffstat (limited to 'CODE_OF_CONDUCT.md')
| -rw-r--r-- | CODE_OF_CONDUCT.md | 6 |
1 files 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 |