On Thu, Sep 10, 2015 at 11:13 AM, Jeff King <peff@xxxxxxxx> 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. -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html