[gentoo-dev] Re: devmanual moved to github

[Duncan <1i5t5.duncan@cox.net>]

Alexander Berntsen posted on Mon, 13 May 2013 14:42:58 +0200 as excerpted:

> On 13/05/13 14:38, Greg KH wrote:
[ Reinserting original quote of Alexander Berntsen ]
>>> A lot of projects (including Linux) just use GitHub for hosting
>>> and nothing else.
>>>
>> Linux does not use GitHub for anything, but a lot of users do use the
>> copy of the kernel tree on GitHub for their own development, which has
>> nothing to do with the main Linux kernel developer workflow.
> 
> I misremembered a discussion Linus had in which he said GitHub was great
> for hosting (but terrible for stuff like commit messages). Thanks for
> correcting me.
> 
> My point about using GitHub for hosting only still stands.

Greg KH, like I originally did, may have taken the original quote with 
quite a different meaning than you intended.  I originally parsed the 
quote as:

Linux uses nothing else but github

... when you apparently meant...

Linux uses github (purely) for hosting (that is as a mirror), not for 
anything other functions.

I was /this/ close <fingers held close together> to posting an objection, 
when from reading the replies I realized the latter meaning was 
apparently intended, not the former.  It would appear that Greg KH parsed 
the former meaning as well, and replied as I /almost/ did.

It's probably good to clear up the possible misunderstanding either way, 
tho, lest any rumors get started about "the next bitkeeper" and having a 
big-name kernel guy refuting that is about the best way possible to do so.

-- 
Duncan - List replies preferred.   No HTML msgs.
"Every nonfree program has a lord, a master --
and if you use the program, he is your master."  Richard Stallman