Are we planning to setup a public dump ourselves or are we waiting for a 1st party zulip implem?
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