From 5ff1740cbfef446fb9a590412fefdc502698faf2 Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Tue, 29 Sep 2020 11:04:25 +0200 Subject: [PATCH] fix for git API change --- src/irmin-git/irmin_git.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/irmin-git/irmin_git.ml b/src/irmin-git/irmin_git.ml index a8d8b0768c..4cc485247b 100644 --- a/src/irmin-git/irmin_git.ml +++ b/src/irmin-git/irmin_git.ml @@ -1072,7 +1072,7 @@ module No_sync (G : Git.S) = struct let pp_error _ _ = assert false - let fetch ~resolvers:_ _ _ ?version:_ ?capabilities:_ _ = assert false + let fetch ?push_stdout ?push_stderr ~resolvers:_ _ _ ?version:_ ?capabilities:_ _ = assert false let push ~resolvers:_ _ _ ?version:_ ?capabilities:_ _ = assert false end