From 51e30538f6aa982236c4b681e7ab18bc7ccb6ee2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Reynir=20Bj=C3=B6rnsson?= Date: Tue, 29 Oct 2024 10:50:50 +0100 Subject: [PATCH] Remove code! We don't need to update the waiter The waiter will be updated by new callers of `change_and_push`. --- src/git_kv.ml | 3 --- 1 file changed, 3 deletions(-) diff --git a/src/git_kv.ml b/src/git_kv.ml index d77cee4..29b6ffc 100644 --- a/src/git_kv.ml +++ b/src/git_kv.ml @@ -723,8 +723,5 @@ module Make (Pclock : Mirage_clock.PCLOCK) = struct (fun err -> `Msg (Fmt.str "error pushing %a" Store.pp_error err)) >>= fun res -> Lwt.wakeup_later wk () ; - (match t.change_and_push_waiter with - | Some th' -> if th' == th then t.change_and_push_waiter <- None - | None -> ()); Lwt.return res end