It looks like https://proofassistants.stackexchange.com/ just opened for people who signed up for the beta. Should the bot post questions asked on this?
Maybe once it reaches public beta in 2-4 weeks (as they seem to imply in the email)?
The bot should automatically pick up on the new Proof Assistants SE when the site becomes public. Possibly, it risks posting all the new questions that were posted in the private beta at once.
It appears that the beta is finally public. I noticed because the bot has started picking up new questions from this site :tada:
We should probably prepare announcements for Twitter, Coq-Club and Discourse.
See https://github.com/coq/www/pull/193 for a proposed website update.
I'm thinking that to make sure that a large part of the community learns about the new Proof Assistants Stack Exchange eventually, it would even make sense to advertise it with a banner on Discourse and on the website, like we did for the Coq Community Survey.
Banners on the Coq website and the Coq Discourse :check:
Pinned tweet on CoqLang :check:
I think I'll leave it to others to announce on Coq-Club.
Last updated: Sep 30 2023 at 07:01 UTC