travis: remove extra remote

mirage · Feb 24, 2019 · 7117275 · 7117275
1 parent 2f041a2
commit 7117275
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.travis.yml b/.travis.yml
@@ -6,7 +6,7 @@ env:
   global:
     - PINS="arp:. arp-mirage:."
     - TESTS=true
-    - EXTRA_REMOTES="https://github.com/mirage/mirage-dev.git#layering"
+    - EXTRA_REMOTES="https://github.com/mirage/mirage-dev.git"
   matrix:
     - OCAML_VERSION=4.04 PACKAGE="arp-mirage"
     - OCAML_VERSION=4.05 PACKAGE="arp"