From b415c3273db85c9e6edd86bfb7adb67562b56f2e Mon Sep 17 00:00:00 2001 From: Thomas Gazagnaire Date: Thu, 25 Jul 2024 10:42:04 +0200 Subject: [PATCH] irmin-client: do not duplicate connections on clone This is (1) not needed to work properly as clone doesn't need to hold any special state in the connection; and (2) this is opening another file descriptor that is usually never closed. --- src/irmin-client/client.ml | 1 - 1 file changed, 1 deletion(-) diff --git a/src/irmin-client/client.ml b/src/irmin-client/client.ml index 38a561fae1..c9cdb99020 100644 --- a/src/irmin-client/client.ml +++ b/src/irmin-client/client.ml @@ -527,7 +527,6 @@ struct let clone ~src ~dst = let repo = repo src in - let* repo = dup repo in let* () = Head.find src >>= function | None -> Branch.remove repo dst