diff options
| -rw-r--r-- | context_mirror_bot.ml | 14 |
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 |