From 708cd7d008cd97cdb3feb54afb7838843de67614 Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Tue, 29 Oct 2024 12:25:08 +0100 Subject: [PATCH] add a comment --- src/git_kv.ml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/git_kv.ml b/src/git_kv.ml index 3f3f478..ef8d57c 100644 --- a/src/git_kv.ml +++ b/src/git_kv.ml @@ -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 ->