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: Aug 14 2022 at 11:02 UTC