-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 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
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 — http://
On 12 May 2013 21:27, Peter Stuge 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 pri
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 thin
On Sun, May 12, 2013 at 7:32 AM, Markos Chandras 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 pie
-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
git://
