Stream: Miscellaneous

Topic: Zulip dump

view this post on Zulip Gaëtan Gilbert (Jun 24 2020 at 16:28):

Are we planning to setup a public dump ourselves or are we waiting for a 1st party zulip implem?

view this post on Zulip Karl Palmskog (Jun 24 2020 at 21:38):

I don't think there is any conscious waiting, I guess the question is how the web hosting will be set up (using coqbot in the Coq org?) and who is going to do the admin work

Last updated: May 31 2023 at 09:01 UTC