Revert submodule URLs to HTTPS

kuldeepmeel · kuldeepmeel · commit 0e7572874ea6 · 2026-02-05T14:03:49.000-05:00
diff --git a/.gitmodules b/.gitmodules
@@ -3,10 +3,10 @@
 	url = https://github.com/perebor/minisat
 [submodule "avy"]
 	path = avy
-	url = git@github.com:meelgroup/avy.git
+	url = https://github.com/meelgroup/avy
 [submodule "interpolatingsolver"]
 	path = interpolatingsolver
-	url = git@github.com:kuldeepmeel/interpolatingsolver.git
+	url = https://github.com/kuldeepmeel/interpolatingsolver
 [submodule "docopt.cpp"]
 	path = docopt.cpp
 	url = https://github.com/docopt/docopt.cpp
