From 611fb3bf8af3dcac39da767fa2f8d7961819f95b Mon Sep 17 00:00:00 2001
From: Andreas Kloeckner <inform@tiker.net>
Date: Sun, 21 Aug 2016 14:24:57 -0500
Subject: [PATCH] Switch ISL repo URL to mirror, since repo.or.cz appears
 broken or ratelimited

---
 .gitmodules | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitmodules b/.gitmodules
index dbf0c71..9de7df7 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,3 +1,3 @@
 [submodule "isl"]
 	path = isl
-	url = http://repo.or.cz/isl.git
+	url = https://github.com/inducer/isl.git
-- 
GitLab