Removed repo redirect, unneeded on master and harmful for mirroring

maximedenes · Dec 9, 2013 · f13bab7 · f13bab7
1 parent 62a45df
commit f13bab7
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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" ]