Andrew Ardill <andrew.ardill@xxxxxxxxx> writes: > Additionally, if we are not prepared to use non-Free tools, we should > probably stop using github. (This example is a little trite, seeing as > there are non-github alternatives available for grabbing the source > code. Just on this part. Github is not the only place to grab the source code. Far from it. -- 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