Merge pull request 'Log before and after restoring/fetching git state' (#26) from log-before-git-operation into main

Reviewed-on: https://git.robur.io/robur/opam-mirror/pulls/26
This commit is contained in:
Hannes Mehnert 2022-11-17 12:30:07 +00:00
commit c46f15baa3

View file

@ -777,6 +777,7 @@ stamp: %S
Lwt.return_unit Lwt.return_unit
else else
begin begin
Logs.info (fun m -> m "Initializing git state. This may take a while...");
(if Key_gen.ignore_local_git () then (if Key_gen.ignore_local_git () then
Lwt.return (Error ()) Lwt.return (Error ())
else else
@ -787,6 +788,7 @@ stamp: %S
dump_git git_dump git_kv >|= fun () -> dump_git git_dump git_kv >|= fun () ->
git_kv git_kv
end >>= fun git_kv -> end >>= fun git_kv ->
Logs.info (fun m -> m "Done initializing git state!");
Serve.commit_id git_kv >>= fun commit_id -> Serve.commit_id git_kv >>= fun commit_id ->
Logs.info (fun m -> m "git: %s" commit_id); Logs.info (fun m -> m "git: %s" commit_id);
Serve.create git_kv >>= fun serve -> Serve.create git_kv >>= fun serve ->