Gabriel Scherer (May 16 2021 at 12:47): Gabriel Scherer (May 16 2021 at 12:47):@Théo Zimmermann I just wrote a script to generate types-Zulip archives using Gitlab CI + Pages. Would you be willing to eat my own dogfood by trying the script for a second instance?
Gabriel Scherer (May 16 2021 at 12:48):https://gitlab.com/gasche/zulip-archive-gitlab-ci
Théo Zimmermann (May 16 2021 at 18:42):Wow, that's great @Gabriel Scherer! I'll definitely try to use it for the Coq Zulip and let you know if I run in any trouble.
Théo Zimmermann (May 24 2021 at 15:51):Thanks to @Gabriel Scherer, we know have a public archive at https://coq.gitlab.io/zulip-archive/.
Théo Zimmermann (May 24 2021 at 15:51):However, this is not yet updated automatically. The documentation suggests to set up a scheduled pipeline manually, but AFAICS, this can only be set up by modifying .gitlab-ci.yml.
Théo Zimmermann (May 24 2021 at 15:52):@Gabriel Scherer Shouldn't the template include some code for scheduled pipelines?
Yannick Forster (May 24 2021 at 17:46):That's great! Small teething problem: I'm getting 404 errors when clicking on timestamps of messages in a topic overview. There's a -gitlab-ci in the URL which likely shouldn't be there.
Gabriel Scherer (May 24 2021 at 19:23):@Théo Zimmermann no, you can create a scheduled pipeline manually from the web interface
Gabriel Scherer (May 24 2021 at 19:23):actually I don't know how to add the to .gitlab-ci.yml -- pull requests welcome!
Gabriel Scherer (May 24 2021 at 19:23):the manual way is in the "CI/CD > Schedules" corner of the repository menu
Gabriel Scherer (May 24 2021 at 19:24):I tried to document this in the README, but apparently I failed
Théo Zimmermann (May 24 2021 at 19:26):Oh no, you're right and I read too fast: I was looking for this under Settings.
Théo Zimmermann (May 24 2021 at 19:30):OK, so I've now set up a scheduled pipeline to run every hour.
Théo Zimmermann (May 24 2021 at 19:33):Yannick Forster said:
That's great! Small teething problem: I'm getting 404 errors when clicking on timestamps of messages in a topic overview. There's a
-gitlab-ciin the URL which likely shouldn't be there.
Now fixed, by re-running a pipeline (after I changed the name of the repo).
Théo Zimmermann (May 24 2021 at 19:35):I guess we should add a link to https://coq.inria.fr/community and then make an announcement on #Announcements. WDYT @Cyril Cohen?
Gabriel Scherer (May 24 2021 at 19:40):I would welcome a last PR to add a link to your archives to the "Known Deployments" list of https://gitlab.com/gasche/zulip-archive-gitlab-ci . (One reason to maintain that is that communities are terrible about advertising their Zulip chats outside their core users, so any cross-links from one to another is a win.)
Karl Palmskog (Sep 10 2021 at 09:25):@Théo Zimmermann isn't it time to announce the Zulip archive link more widely and even put a link on the Coq website? The hourly updates seem to work fine to me.
Théo Zimmermann (Sep 10 2021 at 09:26):Right, I had announced in June that this would be done "in a few days".
Théo Zimmermann (Sep 10 2021 at 09:27):Would you mind either opening a PR adding a link or opening an issue on the www repo and assigning it to me?
Karl Palmskog (Sep 10 2021 at 09:30):OK, I can do a www PR. But I think it should also be put on the Discourse.
Karl Palmskog (Sep 10 2021 at 09:50):any help to get the "other PR" unstuck also appreciated
Théo Zimmermann (Sep 10 2021 at 10:13):I'm not so sure that it should be announced on Discourse given that it's purely related to Zulip and was already announced there...
Karl Palmskog (Sep 10 2021 at 10:17):well, how about just putting a message in the Zulip announcement thread with the link: https://coq.discourse.group/t/creation-of-a-zulip-chatroom/839
Yannick Forster (Sep 14 2021 at 14:45):For convenience, I would find it very helpful if there would be a link from the archive to the actual discussion in Zulip. Is that possible?
Théo Zimmermann (Sep 14 2021 at 14:48):Here is the tool we use: https://github.com/zulip/zulip-archive
Théo Zimmermann (Sep 14 2021 at 14:49):And here is the way we deploy it: https://gitlab.com/gasche/zulip-archive-gitlab-ci
Théo Zimmermann (Sep 14 2021 at 14:49):I don't know more that this. Feel free to look around / open issues / report what you found :smile:
Yannick Forster (Sep 14 2021 at 16:16):Thanks! In fact, one can go to the actual Zulip discussion by clicking on the profile picture of the poster of a message. That wasn't very obvious too me, especially since the profile pictures are not displayed properly, but I guess it's good enough.
Yannick Forster (Sep 14 2021 at 16:18):Two more questions: Is it intended that the profile pictures are not shown? Is it intended that we just have black on white? The Lean zulip archive looks a lot more modern and accessible. (I'm asking because it might be a bug or it might be just that nobody yet found the time to giving it a nicer look and feel)
Théo Zimmermann (Sep 14 2021 at 21:05):I wouldn't know. We should ask @Gabriel Scherer.
Gabriel Scherer (Sep 14 2021 at 21:19):It's possible to customize the HTML&CSS of the generated archive, and the Learn archive does it, but I never worked on doing this within zulip-archive-gitlab-ci . @Yannick Forster if you (or someone you know) would be willing to give it a try, Merge Requests are warmly welcome.
Gabriel Scherer (Sep 14 2021 at 21:20):Note: older versions of the zulip-archive tool used Jekyll, which made customization somewhat easy (drop Mustache templates in a _layout directory), but newer versions of the script have a more ad-hoc and simpler customization mechanism. The Lean archive still uses an older version of the tool, so their approach is not directly reusable / future-proof.
Last updated: Aug 19 2022 at 21:02 UTC