From 192d4bddea6df1b1ac9cad8354b0c821e1ba2534 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Wed, 20 May 2020 18:29:19 +0200
Subject: Adapt the documentation to the move from Gitter to Zulip.

---
 CODE_OF_CONDUCT.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'CODE_OF_CONDUCT.md')

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
-- 
cgit v1.2.3