RSS feed for the blog?

Stream: general

[Ruben Van de Velde]

Can we make the rss bot track https://leanprover-community.github.io/blog/rss.xml as well?

[Kevin Buzzard]

Yeah that would be cool, I was showing the blog off yesterday in the colloquium at U Minnesota and I switched to it expecting to see this month in mathlib but instead I got the 10000 post :-)

[Sebastian Ullrich]

done

[Patrick Massot]

Oh, you're all trying to tell me I forgot to post an announcement?

[Ruben Van de Velde]

Thanks!