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