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: Jul 24 2024 at 11:01 UTC