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
Joseph Tooby-Smith (Dec 28 2025 at 15:18):
I’m wondering if it is possible/would be desirable to set up an rss feed on this channel for created issues on GitHub.
Joscha Mennicken (Jan 02 2026 at 15:06):
I'll have a look next week, so you could give it a try if you want
Joscha Mennicken (Jan 07 2026 at 12:45):
I've created #PhysLean > Recent issues to PhysLean as an experiment. Let me know if you'd like anything changed or moved to #rss, or if you'd like it turned off again.
Joseph Tooby-Smith (Jan 07 2026 at 13:54):
Awesome thanks @Joscha Mennicken . This looks good to me. For myself having it on this channel is nice, but I understand if that gets on peoples nerves/is noise - so happy to be told otherwise. I'm guessing not many people look at the #rss channel on a regular basis (but could be wrong here).
Joseph Tooby-Smith (Feb 12 2026 at 05:50):
I'm having second thoughts about this issue rss feed been in this channel. I think we should maybe move it to #rss. Would this be possible? (Sorry to be a pain). People can always subscribe to it there if they are interested.
Joscha Mennicken (Feb 12 2026 at 13:03):
I'll move it over, and then somebody with admin permissions can move the existing messages to the new thread.
Joseph Tooby-Smith (Feb 12 2026 at 13:11):
Many thanks :)
Joscha Mennicken (Feb 12 2026 at 13:12):
The bot now posts to #rss > Recent issues to PhysLean.
Bryan Gin-ge Chen (Feb 12 2026 at 13:16):
I have moved the existing messages to #rss > Recent issues to PhysLean .
Last updated: Feb 28 2026 at 14:05 UTC