diff options
| author | Théo Zimmermann | 2020-05-20 18:29:19 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-05-20 19:16:57 +0200 |
| commit | 192d4bddea6df1b1ac9cad8354b0c821e1ba2534 (patch) | |
| tree | 6fbd0e7ef9bd3d78e87aa17bd68882e8876385e1 /CODE_OF_CONDUCT.md | |
| parent | 9a8e6cbe372474c82f8988259f80e8b4c0a819c0 (diff) | |
Adapt the documentation to the move from Gitter to Zulip.
Diffstat (limited to 'CODE_OF_CONDUCT.md')
| -rw-r--r-- | CODE_OF_CONDUCT.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/CODE_OF_CONDUCT.md b/CODE_OF_CONDUCT.md index 0720cf6210..0d8751de7e 100644 --- a/CODE_OF_CONDUCT.md +++ b/CODE_OF_CONDUCT.md @@ -11,7 +11,7 @@ Their goal is that everyone feels safe and welcome when contributing to Coq or interacting with others in Coq related forums. These rules apply to all spaces managed by the Coq development team. -This includes the GitHub repository, the mailing lists, the Gitter channel, +This includes the GitHub repository, the Discourse forum, the Zulip chat, the mailing lists, physical events like Coq 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 |