diff options
| -rw-r--r-- | context_mirror_bot.ml | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/context_mirror_bot.ml b/context_mirror_bot.ml index ecebed5..a080dea 100644 --- a/context_mirror_bot.ml +++ b/context_mirror_bot.ml @@ -366,13 +366,6 @@ end = struct | Some _ -> true | None -> false - let add timestamp = - exec_commands [ "git add ."; - "git add --update"; - Printf.sprintf - "git commit --message=\"%s\"" - (format_time timestamp) ] - let gc () = msg ~lev:1 "Running git garbage collector."; ignore (list_of_pipe "git gc") |