New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

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

Open

jaimergp opened this issue Jan 7, 2025 · 1 comment

Labels

conda-forge.org

Member

jaimergp commented Jan 7, 2025

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

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

jaimergp added the conda-forge.org label

Member Author

jaimergp commented Jan 7, 2025

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

# for free to join this conversation on GitHub. Already have an account? # to comment