From mboxrd@z Thu Jan  1 00:00:00 1970
From: Jason at zx2c4.com (Jason A. Donenfeld)
Date: Tue, 15 Jan 2013 16:57:37 +0100
Subject: git.zx2c4.com down ?
In-Reply-To: <50F57A5B.5050704@hupie.com>
References: <CAJzBP5TPfk3LEX+3iydEJLjmQqBVJ_ZCX=MQqg9FRNBj+-ccxw@mail.gmail.com>
 <CAHmME9rm2ebfoG2gZ7e+P7GFAxvOGjm=m4Zrzx39OJoAE=B2pA@mail.gmail.com>
 <CAJzBP5SPCp_ryu7B9S7ar1SziG=m6Ua6qXFSOy+-DJJo+15mbQ@mail.gmail.com>
 <50F57A5B.5050704@hupie.com>
Message-ID: <CAHmME9qqJ9LOtKTBGSMmSFJN-+ks1rpa3gb0GpxEb_t_ETr+1g@mail.gmail.com>

On Tue, Jan 15, 2013 at 4:48 PM, Ferry Huberts <mailings at hupie.com> wrote:

> how about hosting the repo on github?
>
>
> On 15/01/13 16:40, Stefan Naewe wrote:
>
>> Seems to be OK again.
>>
>> Any thoughts about the 'mirror situation' ?
>>
>>
Everything on git.zx2c4.com is mirrored to the zx2c4 account on github at
all times.

But github should by no means become a primary place for the repo. I don't
take pull requests.