Stream: Coq devs & plugin devs

Topic: Moving the wiki off github?

view this post on Zulip Jason Gross (Nov 01 2022 at 23:32):

GitHub seems to disallow search engines from indexing wiki pages (see,,, and googling "coq weekly call" doesn't give me any good results. Should the wiki be moved to some more search-engine friendly service?

view this post on Zulip Emilio Jesús Gallego Arias (Nov 02 2022 at 17:13):

@Jason Gross there was some discussion in the call about this, but the main question is "what is the alternative"?

Last updated: Dec 07 2023 at 09:01 UTC