git.zx2c4.com down ?

[Jason A. Donenfeld]

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.