diff --git a/repo b/repo index 1bfeafa9783..1ea5c8fe5da 100644 --- a/repo +++ b/repo @@ -1,3 +1,2 @@ upstream: "https://github.com/ocaml/opam-repository/tree/master/" browse: "https://opam.ocaml.org/pkg/" -redirect: [ "https://opam.ocaml.org" ]