From 9920c7babc22260bfb154281db531a0250744d8d Mon Sep 17 00:00:00 2001
From: Philipp Gesang <phg42.2a@gmail.com>
Date: Fri, 16 May 2014 23:11:33 +0200
Subject: remove wrapper for git-add

---
 context_mirror_bot.ml | 7 -------
 1 file changed, 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")
-- 
cgit v1.2.3