Skip to content

Git source mirroring

Anil Madhavapeddy edited this page Nov 3, 2022 · 2 revisions

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.