@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?
https://gitlab.com/gasche/zulip-archive-gitlab-ci
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.
Thanks to @Gabriel Scherer, we know have a public archive at https://coq.gitlab.io/zulip-archive/.
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
.
@Gabriel Scherer Shouldn't the template include some code for scheduled pipelines?
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.
@Théo Zimmermann no, you can create a scheduled pipeline manually from the web interface
actually I don't know how to add the to .gitlab-ci.yml
-- pull requests welcome!
the manual way is in the "CI/CD > Schedules" corner of the repository menu
I tried to document this in the README, but apparently I failed
Oh no, you're right and I read too fast: I was looking for this under Settings.
OK, so I've now set up a scheduled pipeline to run every hour.
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-ci
in the URL which likely shouldn't be there.
Now fixed, by re-running a pipeline (after I changed the name of the repo).
I guess we should add a link to https://coq.inria.fr/community and then make an announcement on #Announcements. WDYT @Cyril Cohen?
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.)
@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.
Right, I had announced in June that this would be done "in a few days".
Would you mind either opening a PR adding a link or opening an issue on the www repo and assigning it to me?
OK, I can do a www PR. But I think it should also be put on the Discourse.
any help to get the "other PR" unstuck also appreciated
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...
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
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?
Here is the tool we use: https://github.com/zulip/zulip-archive
And here is the way we deploy it: https://gitlab.com/gasche/zulip-archive-gitlab-ci
I don't know more that this. Feel free to look around / open issues / report what you found :smile:
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.
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)
I wouldn't know. We should ask @Gabriel Scherer.
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.
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: Jan 29 2023 at 09:30 UTC