From f16f8d1151aa08abc9444f46e6e3a53033f64168 Mon Sep 17 00:00:00 2001 From: Théo Zimmermann Date: Mon, 10 Dec 2018 17:44:55 +0100 Subject: List members of the code of conduct enforcement team. --- CODE_OF_CONDUCT.md | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) (limited to 'CODE_OF_CONDUCT.md') diff --git a/CODE_OF_CONDUCT.md b/CODE_OF_CONDUCT.md index 8eee2009c9..0720cf6210 100644 --- a/CODE_OF_CONDUCT.md +++ b/CODE_OF_CONDUCT.md @@ -78,7 +78,8 @@ affect a person's ability to participate within them. 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 + 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 @@ -96,6 +97,11 @@ 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 +- Théo Zimmermann + ## Questions? ## If you have questions, feel free to write to . -- cgit v1.2.3