News for hackers. Stuff that matters.

A comment on Linux is now hosted on GitHub. Parent comment

Re:Linux is now hosted on GitHub by LeafStorm on Sunday September 04, 2011 @08:48PM (#2960718)
He is using comments, pull requests, and issues to develop diveclog, a relatively minor pet project, not Linux. As I said: Linux has its own infrastructure, and were Linus seriously considering a move to Github, there would be some announcement on a mailing list.

Which, this makes me wonder what will happen when someone forks "linux" and sends Linus a pull request. ;-)

[ Parent | on HN ]
Re:Linux is now hosted on GitHub by bpierre on Sunday September 04, 2011 @08:52PM (#2960731)
We will soon have an answer, for sure! :-)
[ Parent | on HN ]
Re:Linux is now hosted on GitHub by nolok on Sunday September 04, 2011 @09:13PM (#2960774)
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 :-)
[ Parent | on HN ]
Re:Linux is now hosted on GitHub by ellyagg on Monday September 05, 2011 @12:29PM (#2962639)
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. :)
[ Parent | on HN ]
Re:Linux is now hosted on GitHub by timf on Monday September 05, 2011 @03:16PM (#2963094)
"Is there some way to just turn off github pull requests? They're all jokes." - https://github.com/torvalds/linux/pull/7#issuecomment-200563...
[ Parent | on HN ]