From 9bf023ef2c751cc6cb6f781f863c5d722de33e12 Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Tue, 20 Sep 2022 14:22:13 +0200 Subject: [PATCH] revise pull --- src/git_kv.mli | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/src/git_kv.mli b/src/git_kv.mli index 043ae34..00f22f9 100644 --- a/src/git_kv.mli +++ b/src/git_kv.mli @@ -12,4 +12,10 @@ val to_octets : t -> string Lwt.t val of_octets : string -> (t, [`Msg of string]) result Lwt.t -val pull : t -> (unit, [ `Msg of string ]) result Lwt.t +type change = [ + | `Add of key + | `Remove of key + | `Change of key +] + +val pull : t -> (change list, [ `Msg of string ]) result Lwt.t