tr

lean-dojo · May 28, 2024 · 33162bc · 33162bc
1 parent 864bf2b
commit 33162bc
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/ModelCheckpointManager/Download.lean b/ModelCheckpointManager/Download.lean
@@ -83,8 +83,8 @@ def downloadUnlessUpToDate (url : Url) : IO Unit := do
 
   initGitLFS
   let proc ← IO.Process.output {
-    cmd := "git"
-    args := #["clone", toString url, "GIT_CLONE_PROTECTION_ACTIVE=false"]
+    cmd := "GIT_CLONE_PROTECTION_ACTIVE=false git"
+    args := #["clone", toString url]
     cwd := parentDir
   }
   if proc.exitCode != 0 then