Re: [gentoo-dev] devmanual moved to github

[Rich Freeman]

On Sun, May 12, 2013 at 7:32 AM, Markos Chandras <hwoarang@g.o> 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?:

However, Gentoo will never depend upon a piece of software or metadata
unless it conforms to the GNU General Public License, the GNU Lesser
General Public License, the Creative Commons - Attribution/Share Alike
or some other license approved by the Open Source Initiative (OSI).

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.

Rich