Zulip Chat Archive

Stream: general

Topic: publically accessible archive link broken

Kevin Buzzard (Dec 10 2020 at 13:56):

If I go to https://leanprover-community.github.io/archive/stream/113489-new-members/index.html and search for the computerphile thread (this one on Zulip) then I get a 404. Other links are working -- is it the " in the topic name?

Rob Lewis (Dec 10 2020 at 14:00):

Probably

Rob Lewis (Dec 10 2020 at 14:01):

After the archive script was transferred to the official Zulip repo, someone "improved" the character escaping in urls to make it more like the main Zulip app

Mario Carneiro (Dec 10 2020 at 14:02):

Here's the file, it appears to be in the right location, so it must be github's CDN

Mario Carneiro (Dec 10 2020 at 14:02):

my guess is that the initial dot makes it "hidden"

Last updated: Dec 20 2023 at 11:08 UTC