RSS feed for CSLib commits

Stream: CSLib

[Joscha Mennicken]

Hi, do you want your own #rss-like stream of cslib commits? If yes, I could place it as a subtopic directly in this channel instead of the #rss channel.

[Joscha Mennicken]

If you want to see what this would look like, I've just set up a similar channel for PhysLean at #PhysLean > Recent commits to PhysLean.

[Fabrizio Montesi]

That'd be nice!

[Joscha Mennicken]

#CSLib > Recent commits to cslib now exists. Let me know if anything goes wrong or if you'd like something changed (e.g. different topic name).

[Joscha Mennicken]

Previously, feeds like this were restricted to the #rss channel, and this is kind of an experiment to see whether it makes more sense to put them in the individual project's channel instead.

One advantage is that people interested in a project don't independently need to discover #rss. Commit streams (and other similar streams, e.g. #mathlib4 > Technical Debt Counters @ 💬) occasionally contain short discussions relevant to the project that people might otherwise miss.

Additionally, people see only the streams for the projects they're interested in by default, compared to now, where you subscribe to #rss and get a firehose of streams for all kinds of projects on the zulip.

A disadvantage is that it makes the project channel more spammy for people interested in the project but not the commit stream. Those people can of course mute the stream. Should it turn out that most people interested in a project are not interested in the corresponding stream, the stream can of course be moved to #rss.