web archive

Stream: general

[Mati Roy]

i saw there was a web archive of this chat here https://leanprover-community.github.io/

i love it and would love to do the same for one of my own Zulip domain; how can i do that? :)

[Alex J. Best]

Zulip has taken over maintenance of that tool at https://github.com/zulip/zulip-archive

[Mati Roy]

yayyy! thanks a lot :)))

[Eric Rodriguez]

weren't they working on making zulips publically accessible + indexable anyways?