From 329b78c923849ff6e36bb3947760d399d043497c Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Mon, 26 Sep 2022 15:03:35 +0200 Subject: [PATCH] fast path if nothing changed upstream --- mirage/unikernel.ml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/mirage/unikernel.ml b/mirage/unikernel.ml index 2c68d43..7d60c80 100644 --- a/mirage/unikernel.ml +++ b/mirage/unikernel.ml @@ -449,6 +449,8 @@ stamp: %S | Error `Msg msg -> Logs.err (fun m -> m "error %s while updating git" msg); Lwt.return None + | Ok [] -> + Lwt.return (Some []) | Ok changes -> commit_id git_kv >>= fun commit_id -> modified git_kv >>= fun modified -> @@ -644,6 +646,7 @@ stamp: %S let update () = Serve.update_git serve git_kv >>= function | None -> Lwt.return_unit + | Some [] -> Lwt.return_unit | Some _changes -> download_archives disk http_ctx git_kv in let service =