-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Good day,
The devmanual git repository[1] moved to github[2]. Please update your
local trees using the following command:
Developers: git remote set-url origin
g...@github.com:gentoo/devmanual.gentoo.org
Read-only: git remote set-url origin
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
Rich Freeman wrote:
The devmanual git repository[1] moved to github[2].
The only thing that isn't FOSS is github itself. Not sure if
others feel strongly about it.
I feel strongly against github.
Making something like github the primary point of contact
communicates many negative things
On 12 May 2013 21:27, Peter Stuge pe...@stuge.se wrote:
Rich Freeman wrote:
The devmanual git repository[1] moved to github[2].
The only thing that isn't FOSS is github itself. Not sure if
others feel strongly about it.
I feel strongly against github.
Making something like github the
On 12/05/2013 14:27, Peter Stuge wrote:
I feel strongly against github.
Making something like github the primary point of contact
communicates many negative things for Gentoo IMO.
Oh heavens, for once I agree with Peter.
--
Diego Elio Pettenò — Flameeyes
flamee...@flameeyes.eu —
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
On 05/12/2013 04:02 PM, Ben de Groot wrote:
On 12 May 2013 21:27, Peter Stuge pe...@stuge.se wrote:
Rich Freeman wrote:
The devmanual git repository[1] moved to github[2].
The only thing that isn't FOSS is github itself. Not sure if
others
