From 4a8fc86b6f989fbaf4f98c7b790efe9d18ae44c0 Mon Sep 17 00:00:00 2001 From: zhangir-azerbayev Date: Thu, 19 Oct 2023 22:32:11 -0400 Subject: [PATCH] fix submodules --- .gitmodules | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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