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: Feb 05 2023 at 15:03 UTC