Skip to content

Conversation

kit-ty-kate
Copy link
Member

This makes it so that people using the git repository directly will now download archives through the official mirror first, unless they have set their own mirror using opam option --global archive-mirrors+="url-to-your-mirror", in which case opam.ocaml.org will only be used as fallback.

To merge only after ocaml-opam/opam2web#247 and after the minor issues listed in ocaml/opam#6642 have been discussed.

See this discuss post for background context

This makes it so that people using the git repository directly will now download archives through the official mirror first, unless they have set their own mirror using opam option --global archive-mirrors+="url-to-your-mirror", in which case opam.ocaml.org will only be used as fallback.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant