summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--context_mirror_bot.ml14
1 files changed, 9 insertions, 5 deletions
diff --git a/context_mirror_bot.ml b/context_mirror_bot.ml
index c2ff29f..a2dec76 100644
--- a/context_mirror_bot.ml
+++ b/context_mirror_bot.ml
@@ -66,11 +66,11 @@ let mirror_repo = "git@bb-git-mirror:phg/context-mirror.git" (* our m
let sources =
[ { name = "beta";
- page = "http://www.pragma-ade.com/download-2.htm";
- url = "http://www.pragma-ade.com/context/beta/cont-tmf.zip"; };
+ page = "http://www.pragma-ade.nl/download-2.htm";
+ url = "http://www.pragma-ade.nl/context/beta/cont-tmf.zip"; };
{ name = "current";
- page = "http://www.pragma-ade.com/download-1.htm";
- url = "http://www.pragma-ade.com/context/current/cont-tmf.zip"; } ]
+ page = "http://www.pragma-ade.nl/download-1.htm";
+ url = "http://www.pragma-ade.nl/context/current/cont-tmf.zip"; } ]
(* owner and contact details for the user agent string *)
let bot_owner = "Philipp Gesang"
@@ -450,7 +450,11 @@ end = struct
| Some _ -> ()
| None -> raise (Git_branch_failed branch)
end;
- match list_of_pipe (Printf.sprintf "git commit --message=\"%s\"" (format_time ts)) with
+ let cmd = Printf.sprintf
+ "git commit --author=\"Hans Hagen <pragma@wxs.nl>\" --message=\"%s\""
+ (format_time ts) in
+ let () = log_info cmd in
+ match list_of_pipe cmd with
| Some _ -> gc (); Imported branch
| None -> raise (Git_commit_failed branch)
end