fast path if nothing changed upstream
This commit is contained in:
parent
dd3b2f168c
commit
329b78c923
1 changed files with 3 additions and 0 deletions
|
@ -449,6 +449,8 @@ stamp: %S
|
||||||
| Error `Msg msg ->
|
| Error `Msg msg ->
|
||||||
Logs.err (fun m -> m "error %s while updating git" msg);
|
Logs.err (fun m -> m "error %s while updating git" msg);
|
||||||
Lwt.return None
|
Lwt.return None
|
||||||
|
| Ok [] ->
|
||||||
|
Lwt.return (Some [])
|
||||||
| Ok changes ->
|
| Ok changes ->
|
||||||
commit_id git_kv >>= fun commit_id ->
|
commit_id git_kv >>= fun commit_id ->
|
||||||
modified git_kv >>= fun modified ->
|
modified git_kv >>= fun modified ->
|
||||||
|
@ -644,6 +646,7 @@ stamp: %S
|
||||||
let update () =
|
let update () =
|
||||||
Serve.update_git serve git_kv >>= function
|
Serve.update_git serve git_kv >>= function
|
||||||
| None -> Lwt.return_unit
|
| None -> Lwt.return_unit
|
||||||
|
| Some [] -> Lwt.return_unit
|
||||||
| Some _changes -> download_archives disk http_ctx git_kv
|
| Some _changes -> download_archives disk http_ctx git_kv
|
||||||
in
|
in
|
||||||
let service =
|
let service =
|
||||||
|
|
Loading…
Reference in a new issue