-
Notifications
You must be signed in to change notification settings - Fork 10
Git source mirroring
The master repository for OCaml source code is the Subversion server hosted by INRIA.
- GitHub: There is a mirror that syncs to GitHub hourly and publishes it at http://github.com/ocaml/ocaml. The script is smart enough to convert SVN branches into proper Git branches (and not tags). It is available from http://github.com/ocaml/ocaml.org-scripts.
The GitHub mirror script is currently run hourly from cron from the main OCaml Labs server bactrian.ocamllabs.cl.cam.ac.uk. The only person with access to this server is Anil Madhavapeddy.
-
We also need a
git.ocaml.orgmirror that runs independently of GitHub, but using the same conversion scripts so that repositories and branches can be shared between the two services. Issues and pull requests are disabled on the GitHub mirror, so there is no need to back up any metadata beyond the repositories themselves. -
Migrate the conversion script into a Rackspace VM, and grant access to more people. This would ideally be the same VM that runs
git.ocaml.org, which would subsequently push to GitHub.