Merge branch 'main' into main

mirage · Aug 30, 2024 · 2b53513 · 2b53513
2 parents 2ed6844 + 775612c
commit 2b53513
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 1 deletion.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,10 +1,17 @@
 ## Unreleased
 
+### Added
+
 ### Fixed
 
+- **irmin-client**
+  - Fix a fd lead when using `clone` (#2322, @samoht)
 - **irmin-git**
   - Fixed issue with two subsequent `Irmin-git` repos, where one
     repo would lose the ability to find its root path (#2326, @zazedd)
+
+### Removed
+
 - **irmin**
   - Removed `?allow_duplicate` parameter from the `Conf.key` function (#2326, @zazedd)
 

diff --git 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