only use a single commit in rename #3

Merged
hannes merged 2 commits from rename-single-commit into main 2024-10-29 11:37:58 +00:00
Showing only changes of commit 708cd7d008 - Show all commits

View file

@ -710,6 +710,8 @@ module Make (Pclock : Mirage_clock.PCLOCK) = struct
remove t source >>= fun () ->
set t dest contents
in
(* (hannes) we check whether we're in a change_and_push or not, since
nested change_and_push are not supported. *)
match t.committed with
| Some _ -> op t
| None ->