[ocaml-infra] Github down again

Anil Madhavapeddy anil at recoil.org
Sun Dec 23 00:54:57 GMT 2012

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.


More information about the Infrastructure mailing list