From f13bab7f5db887a3f326bb09a74c1022d5384f38 Mon Sep 17 00:00:00 2001
From: Louis Gesbert <louis.gesbert@ocamlpro.com>
Date: Mon, 9 Dec 2013 12:16:35 +0100
Subject: [PATCH] Removed repo redirect, unneeded on master and harmful for
 mirroring

---
 repo | 1 -
 1 file changed, 1 deletion(-)

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" ]