summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--context_mirror_bot.ml6
1 files changed, 3 insertions, 3 deletions
diff --git a/context_mirror_bot.ml b/context_mirror_bot.ml
index 284aa41..c02c943 100644
--- a/context_mirror_bot.ml
+++ b/context_mirror_bot.ml
@@ -62,7 +62,7 @@ exception Prepare_failed of string
let bootstrap_repo = "git@bitbucket.org:phg/context-mirror.git" (* our mirror *)
let garden_repo = "http://git.contextgarden.net/context/context.git" (* official, but broken *)
(*let mirror_repo = "git@bitbucket.org:phg/context-mirror.git" [> our mirror <]*)
-let mirror_repos = [ "old", "git@bb-git-mirror:phg/context-mirror.git" (* our old mirror *)
+let mirror_repos = [ "old", "git@bb-git-mirror:phg/context-mirror.git" (* our old mirror *)
; "new", "git@gitlab.com:phgsng/context-mirror.git" ] (* our current mirror *)
let sources =
@@ -329,7 +329,7 @@ end = struct
let write_config () =
msg ~lev:1 ("Write git configuration to " ^ git_config_file);
- let oc = open_out_gen [Open_wronly; Open_creat] 0o600 git_config_file in
+ let oc = open_out_gen [Open_wronly; Open_creat; Open_trunc] 0o600 git_config_file in
output_string oc gitconfig;
close_out oc
@@ -338,7 +338,7 @@ end = struct
| None -> raise Copy_ssh_key_failed
| Some _ ->
begin
- let oc = open_out_gen [Open_wronly; Open_creat] 0o700 ssh_wrapper in
+ let oc = open_out_gen [Open_wronly; Open_creat; Open_trunc] 0o700 ssh_wrapper in
output_string oc ssh_wrapper_script;
close_out oc
end