diff --git a/.gitmodules b/.gitmodules
index 7a70416..f345ec3 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -6,10 +6,10 @@
 	url = https://github.com/zhangir-azerbayev/MetaMath.git
 [submodule "llemma_formal2formal"]
 	path = llemma_formal2formal
-	url = git@github.com:wellecks/llemma_formal2formal.git
+	url = https://github.com/wellecks/llemma_formal2formal.git
 [submodule "overlap"]
 	path = overlap
-	url = git@github.com:wellecks/overlap.git
+	url = https://github.com/wellecks/overlap.git
 [submodule "lm-evaluation-harness"]
 	path = lm-evaluation-harness
 	url = https://github.com/wellecks/lm-evaluation-harness