fix for readthedocs/readthedocs.org#4043

rkkautsar · rkkautsar · commit e883a636ac3e · 2019-02-21T16:14:31.000+01:00
diff --git a/.gitmodules b/.gitmodules
@@ -1,5 +1,5 @@
 [submodule "external-tools/runsolver"]
 	path = external-tools/runsolver
-	url = git@github.com:daajoe/runsolver.git
+	url = https://github.com/daajoe/runsolver.git
 	ignore = dirty
 
