Dear Coq community,
We are happy to announce the opening of https://coq.zulipchat.com a chatroom with which we intend to replace our use of Gitter[*].
Together with https://coq.discourse.group, this will become one of the main tools to communicate with each other about Coq and related projects (e.g. coq-community projects, mathematical components, etc). While the Discourse is meant to work as a forum, the Zulip chatroom is meant to work as a chat/IRC, with messages written in a more casual way and a possibly higher traffic, although Zulip offers the way to sort messages by topics and thus being selective about what one wants to follow, cf. https://zulipchat.com/why-zulip/. We hope that between these two tools we find more opportunities to communicate in the way that each of us is most comfortable with.
[*] If you had a Gitter account and posted at least one message in one of the Coq related channels, there is a high chance that we automatically ported your account, please send a private message to @CohenCyril, on Gitter, with you email address, so do not register on Zulip on your own. EDIT: not relevant anymore
Cyril Cohen and Théo Zimmermann (for the whole Coq team)