4 ms·
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 ques
by ellyagg 15y ago
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. :)
- 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...