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 https://github.com/orgs/community/discussions/4992, https://github.com/nelsonjchen/github-wiki-see-rs, https://github-wiki-see.page/), 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: Jun 04 2023 at 19:30 UTC