RSS feed for commits

Stream: FLT

[Joscha Mennicken]

Hi, do you want your own #rss-like stream of commits to the FLT repo inside this channel, like #CSLib > Recent commits to cslib or #PhysLean > Recent commits to PhysLean?

[Kevin Buzzard]

Not me personally, because I'm basically the only person merging the PRs, but if others do then I won't object.