From e83d74b0e1318317bc1adc486191862fb6e8bfc8 Mon Sep 17 00:00:00 2001
From: favonia <favonia@gmail.com>
Date: Mon, 2 Oct 2023 12:24:47 -0500
Subject: [PATCH] docs: print the warning only once

---
 src/internal/Git.ml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/internal/Git.ml b/src/internal/Git.ml
index ed00f4d..110272a 100644
--- 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 ()