From 9632a90bb89508a0f5c13e3eda2d518fee881c6d Mon Sep 17 00:00:00 2001 From: Philipp Gesang Date: Mon, 9 Jul 2018 07:56:50 +0200 Subject: update website link, set Hans Hagen as author --- context_mirror_bot.ml | 14 +++++++++----- 1 file changed, 9 insertions(+), 5 deletions(-) diff --git a/context_mirror_bot.ml b/context_mirror_bot.ml index 5da9172..76f247f 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" @@ -422,7 +422,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 \" --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 -- cgit v1.2.3