Git source mirroring - ocaml/infrastructure GitHub Wiki

Git source mirroring

We currently use GitHub as the primary hosting for OCaml.org git repositories.

TODO

  • We also need a git.ocaml.org mirror that runs independently of GitHub, but using the same conversion scripts so that repositories and branches can be shared between the two services. This could use git-mirror.