You already have it, at this time and in the foreseeable future the main linux repository is not hosted on github, only a mirror like gazillions others. For sure :-)
Reread the comment you responded to: It was not suggesting this is the new official Linux repo, as that was already addressed in grandparent's comment. The question under discussion was what linus would do with a pull request on github, so your smiling correction was unnecessary. For sure. :)
