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