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