From af94c6511f4454e8ea6b91d8e4fd2f022a2acd92 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Th=C3=A9o=20Zimmermann?= <theo.zimmermann@telecom-paris.fr>
Date: Wed, 11 Dec 2024 12:34:01 +0100
Subject: [PATCH] Remove link to Zulip archive.

Not kept up-to-date anymore.
---
 pages/index.html | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/pages/index.html b/pages/index.html
index 54a60fe484..f65bc7a50b 100644
--- a/pages/index.html
+++ b/pages/index.html
@@ -67,8 +67,7 @@
 <a href="https://github.com/coq-community/awesome-coq">Awesome Coq</a>
 curated list of projects and resources). We have a multi-lingual
 <a href="https://coq.discourse.group">Discourse forum</a> and a
-<a href="https://coq.zulipchat.com">Zulip chat</a> with a continuously updated
-<a href="https://coq.gitlab.io/zulip-archive/">openly accessible archive</a>.
+<a href="https://coq.zulipchat.com">Zulip chat</a>.
 </p>
 
 <p>Note our <a href="https://github.com/coq/coq/blob/master/CODE_OF_CONDUCT.md">code of conduct</a>