From 348dfa5894849e3a212e234a5145018a4380fc3b Mon Sep 17 00:00:00 2001 From: Kate Date: Sun, 17 Aug 2025 14:18:17 +0100 Subject: [PATCH] repo: Set archive-mirrors to opam.ocaml.org's cache 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. --- repo | 1 + 1 file changed, 1 insertion(+) diff --git a/repo b/repo index f1eea9b599e2..d3847a9892a8 100644 --- a/repo +++ b/repo @@ -1,6 +1,7 @@ opam-version: "2.0" browse: "https://opam.ocaml.org/pkg/" upstream: "https://github.com/ocaml/opam-repository/tree/master/" +archive-mirrors: "https://opam.ocaml.org/cache" announce: [ """ [WARNING] opam is out-of-date. Please consider updating it (https://opam.ocaml.org/doc/Install.html)