zulip archive last updated last year

Stream: general

[Rein Zustand]

The Zulip archive was last updated on Dec 20 2025. Is it because of an issue?

[Rein Zustand]

https://leanprover-community.github.io/archive/

[Bryan Gin-ge Chen]

The archive is only updated manually using the scripts / workflows here and it looks like it has only been triggered twice. I think we're just keeping it around so that old URLs don't break, since Zulip now has web-public streams.

[Rein Zustand]

I see, the reason why I wanted to use it was for Claude to read a conversation in a topic. Claude wasn't able to read the web-public version because it requires JS to render the content. The archive is the only viable way. I will raise this issue to chat.zulip.org to see what they think.

[Julian Berman]

Bryan Gin-ge Chen said:

The archive is only updated manually using the scripts / workflows here and it looks like it has only been triggered twice. I think we're just keeping it around so that old URLs don't break, since Zulip now has web-public streams.

I think @Eric Wieser's repeated contention is that the purpose of the archive these days is to ensure that messages are search-indexable. This isn't a thing yet even for web public zulip streams, it's tracked as https://github.com/zulip/zulip/issues/21881.

[Bryan Gin-ge Chen]

OK, I've triggered another workflow run. It looks like it could take a few hours.