diff --git a/src/state/learnocaml_store.ml b/src/state/learnocaml_store.ml index d4ddf9de9..a13590f0d 100644 --- a/src/state/learnocaml_store.ml +++ b/src/state/learnocaml_store.ml @@ -71,7 +71,7 @@ let with_git_register = git ["config";"--local";"user.email";"none@learn-ocaml.org"]) >>= f >>= fun files -> git ("add"::"--"::files) () >>= - git ["commit";"-m";"Update"] >>= + git ["commit";"--allow-empty";"-m";"Update"] >>= git ["update-server-info"] let write ?(no_create=false) file ?(extra=[]) contents =