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: Dec 07 2023 at 04:02 UTC