diff --git a/.gitmodules b/.gitmodules
index dbf0c71ede8b92d396dfb78c39fc821c349d239d..88eb43b61ef86b7466d4e5fda65c8a3494c8d2a1 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