Stream: coq-community devs & users

Topic: Chat button in README.md

view this post on Zulip Karl Palmskog (May 27 2020 at 16:17):

Should we start to change all the "Chat on Gitter" buttons on coq-community projects to point to the Zulip? What do you think @Théo Zimmermann?

view this post on Zulip Théo Zimmermann (May 27 2020 at 16:20):

Absolutely! I did it for the Coq repository but forgot about the coq-community READMEs.

Last updated: Apr 20 2024 at 01:41 UTC