3 ms·
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 sur
by nolok 15y ago
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 :-)
- ellyagg 15y agoReread 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. :)
- timf 15y ago"Is there some way to just turn off github pull requests? They're all jokes." - https://github.com/torvalds/linux/pull/7#issuecomment-2005630 https://github.com/torvalds/linux/pull/7#issuecomment-200563...