[grayclhn]

Isn't the kernel's repository just mirrored on GitHub, though? That's a bit different than hosting Python primarily on github.