Was coming here to say almost the same thing - pretty sure the kernels "de-facto home" is not in fact GitHub.

Perhaps it was just a marketing person writing this who googled "Big open source github".