git : Change gap submodule from ssh to https.

xlauko · Jezurko · commit 2f2aa08353ef · 2023-03-08T10:35:04.000+01:00
diff --git a/.gitmodules b/.gitmodules
@@ -1,3 +1,3 @@
 [submodule "external/gap"]
 	path = external/gap
-	url = git@github.com:lifting-bits/gap.git
+	url = https://github.com/lifting-bits/gap.git
