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. -anil