[gentoo-dev] Re: devmanual moved to github

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

Rich Freeman posted on Sun, 12 May 2013 09:12:03 -0400 as excerpted:

> On Sun, May 12, 2013 at 7:32 AM, Markos Chandras <hwoarang@gentoo.org>
> wrote:
>> The devmanual git repository[1] moved to github[2].
> 
> No objections to mirroring it there, and accepting pull requests there.
> However, would an outright move be contrary to our social contract? 
> [quoted]
> 
> That said, git itself is FOSS, and moving it back is not difficult
> should bad things happen (though any in-progress pull-requests/etc would
> be lost).  The only thing that isn't FOSS is github itself.  Not sure if
> others feel strongly about it.

To me it depends upon how dependent upon github people actually become.

If the primary workflow remains in people's distributed git repos, in 
git, then more copies "out there" including on github is simply more 
redundancy,  As Linus likes to say, "real men" don't make backups, they 
post it to the net and let the dozens (in his case, likely tens of 
thousands, but...) of net copies be their backups.

As soon as github going down becomes a problem, however, or as soon as 
pull requests need to go thru github, then it's a problem, "depending 
upon" according to the social contract.

Arguably, letting github be the primary/only public link is problematic 
in that very way, since at that point github going down is a problem for 
those using the public link.  OTOH, just having a mirror there and 
letting people submit pull requests via github as well as directly, 
shouldn't be a problem.  IMO of course.

-- 
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