From 0202ebb164a4d9b57be8a6a057b654e2e75692e1 Mon Sep 17 00:00:00 2001
From: Tej Chajed
Date: Fri, 18 Aug 2017 08:59:19 +0100
Subject: Advise contributors to use SE over coq-club

---
 CONTRIBUTING.md | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index ca8e94242b..c6542f81c1 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -50,8 +50,6 @@ There are many useful ways to contribute to the Coq ecosystem that don't involve
 
 Tutorials to teach Coq, and especially to teach particular advanced features, would be much appreciated. Some tutorials are listed on the [Coq website](https://coq.inria.fr/documentation). If you would like to add a link to this list, please make a pull request against the Coq website repository at https://github.com/coq/www.
 
-Subscribe to the [coq-club](https://coq.inria.fr/community) mailing list and answer questions there. Asking your own questions on the mailing list will also help others learn from the answers, which often come from experts in the community.
-
-Ask and answer questions on [Stack Exchange](https://stackexchange.com/filters/299857/questions-tagged-coq-on-stackexchange-sites) which has a helpful albeit small community of users.
+Ask and answer questions on [Stack Exchange](https://stackexchange.com/filters/299857/questions-tagged-coq-on-stackexchange-sites) which has a helpful albeit small community of users. We are trying to ask and answer more questions on Stack Exchange rather than the `coq-club@inria.fr` mailing list since the answers are editable and easier to search for.
 
 Hang out on the Coq IRC channel, `irc://irc.freenode.net/#coq`, and help answer questions.
-- 
cgit v1.2.3