[ocaml-infra] Github down again

[Nicolas Braud-Santoni]

Hello,

CGit is quite nice.
I haven't hosted one yet, though, so I can't tell you about
installation, but some projects I contribute to use it, and it seems
to fit the bill quite nicely

See http://hjemli.net/git/cgit/tree/README

Regards,

2012/12/23 Anil Madhavapeddy <anil at recoil.org>:
> Just as we start moving projects to Github, it does seem to start going down more often.  Perhaps it's time to accelerate the git.ocaml.org mirror just so we have the ability to clone our repos when this happens.
>
> Anyone got any opinions about which git frontend to use?
> Gitlabhq.com seems neat, but rather heavyweight for a read-only mirror.