I, for one, would be quite sad to see Linux on Github. An open source alternative, and preferably one without the political baggage and MS-backing of Github, would be a better fit.

Sadness trigger warning, brace yourself:

https://github.com/torvalds/linux