docs: print the warning only once

RedPRL · Oct 2, 2023 · e83d74b · e83d74b
1 parent 4fd5868
commit e83d74b
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/internal/Git.ml b/src/internal/Git.ml
@@ -60,8 +60,7 @@ struct
       run_null Cmd.(git ~root % "reset" % "--quiet" % "--hard" % "--recurse-submodules" % "FETCH_HEAD" % "--")
     in
     let relaxed () =
-      Logger.try_with strict
-        ~fatal:(fun d -> Logger.emit_diagnostic d; Logger.emitf `InvalidRoute "Network unavailable; use local copies")
+      Logger.try_with strict ~fatal:Logger.emit_diagnostic
     in
     if err_on_failed_fetch then strict () else relaxed ()