conda-forge.github.io icon indicating copy to clipboard operation
conda-forge.github.io copied to clipboard
verified publisher icon conda-forge

Set up a `zulip-archive` repo for search engine indexing

Open jaimergp opened this issue 1 year ago • 1 comments

https://github.com/zulip/zulip-archive exports public Zulip messages via a GH Pages site. Found about this recommendation in https://github.com/jupyter/governance/issues/182#issuecomment-2550191444.

Looks simple to set up via GHA, we can just put it in a repo and forget about it.

jaimergp avatar Jan 07 '25 08:01 jaimergp

Example site: https://leanprover-community.github.io/archive/stream/113488-general/topic/Notation.20for.20the.20Lean.20InfoView.html

jaimergp avatar Jan 07 '25 08:01 jaimergp