diff options
| author | Philipp Gesang <phg@phi-gamma.net> | 2018-07-10 23:39:00 +0200 |
|---|---|---|
| committer | Philipp Gesang <phg@phi-gamma.net> | 2018-07-10 23:39:00 +0200 |
| commit | bea8ba5018f28cb14b76002ee2ce373a9f77faf9 (patch) | |
| tree | ec1e00394cffb7677eb12c8153cdffdbf3a28b37 | |
| parent | 354c8747beeabfec7b2ff33de8566cb4db213ec7 (diff) | |
| parent | 9632a90bb89508a0f5c13e3eda2d518fee881c6d (diff) | |
| download | context-mirror-bot-bea8ba5018f28cb14b76002ee2ce373a9f77faf9.tar.gz | |
Merge branch 'mirror-master'
| -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 |