Zulip Chat Archive
Stream: PhysLean
Topic: RSS feed for PhysLean commits
Joscha Mennicken (Sep 23 2025 at 16:30):
Hi, do you want your own #rss-like stream of PhysLean commits? If yes, I could place it as a subtopic directly in this channel instead of the #rss channel.
Joseph Tooby-Smith (Sep 23 2025 at 16:38):
I personally think this would be awesome and very useful. I might be a bit worried about it causing 'spam' , but I think people can mute individual threads(?) so maybe this isn't a problem.
Joscha Mennicken (Sep 23 2025 at 16:41):
Yes, you can mute individual topics. If it turns out to be too spammy still, we can reconsider and maybe move the feed to #rss instead.
Joscha Mennicken (Sep 23 2025 at 17:01):
#PhysLean > Recent commits to PhysLean now exists. Let me know if anything goes wrong or if you'd like something changed (e.g. different topic name).
Joseph Tooby-Smith (Sep 23 2025 at 19:56):
Awesome! Thanks for setting this up @Joscha Mennicken
Last updated: Dec 20 2025 at 21:32 UTC