On Thu, Jan 23, 2014 at 7:34 PM, Adam Williamson wrote:

I don't like github being non-free, particularly, but the practical
consequences of that are fairly minor.