Use HTTPS for submodule URLs

kuldeepmeel · kuldeepmeel · commit 17b18375e11f · 2026-02-05T15:33:45.000-05:00
diff --git a/.gitmodules b/.gitmodules
@@ -1,8 +1,8 @@
 [submodule "louvain-community"]
 	path = louvain-community
-	url = git@github.com:meelgroup/louvain-community.git
+	url = https://github.com/meelgroup/louvain-community
 	branch = master
 [submodule "cryptominisat"]
 	path = cryptominisat
-	url = git@github.com:meelgroup/cryptominisat-manthan.git
+	url = https://github.com/meelgroup/cryptominisat-manthan
 	branch = manthan-arm-fixes
diff --git a/cryptominisat b/cryptominisat
@@ -1 +1 @@
-Subproject commit 0e16bfc4cbb52360719a29cf92ac418b7465173d
+Subproject commit 45f2dbc0672c85394f7c3b1e5b71523f5629811e
