From bc69e45620aa061e40e4954df2c864f18b640eb1 Mon Sep 17 00:00:00 2001
From: Andreas Kloeckner <inform@tiker.net>
Date: Tue, 25 Jul 2017 11:44:26 -0500
Subject: [PATCH] Switch back to github mirror of isl

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

diff --git a/.gitmodules b/.gitmodules
index dbf0c71..88eb43b 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
-- 
GitLab