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