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 <hwoar...@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
