On Thu, Sep 10, 2015 at 11:13 AM, Jeff King [off-list ref] wrote:
In more technical matters, you may be interested in:
https://github.com/blog/2053-easier-feeds-for-github-pages
I don't know of any problems with the current RSS solution, but 1 line
of code maintained by somebody else is perhaps better than many lines of
custom code. :)
Thanks, Peff! I've added an issue reminding us to try this out some time.