diff options
| -rw-r--r-- | context_mirror_bot.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/context_mirror_bot.ml b/context_mirror_bot.ml index cd619ea..8e54936 100644 --- a/context_mirror_bot.ml +++ b/context_mirror_bot.ml @@ -78,7 +78,7 @@ let bot_owner = "Philipp Gesang" let owner_contact = "phg@phi-gamma.net" (*let repo_root = "/home/mirror/mirror"*) -let repo_root = "/home/phg/src/mirror" +let repo_root = "/home/phg/src/context-mirror" let repo_subdir = "context-git" let repo_dir = Filename.concat repo_root repo_subdir let git_dir = Filename.concat repo_dir ".git" @@ -485,7 +485,7 @@ end = struct let rec aux = function | [] -> Good | (rem, _) :: rest -> - let cmd = Printf.sprintf "git push \"mirror-%s\" \"%s\"" rem br in + let cmd = Printf.sprintf "git push \"mirror-%s\" \"%s:%s\"" rem br br in match list_of_pipe cmd with | None -> Bad (Printf.sprintf "git-push: [%s] failed" cmd) | Some _ -> aux rest @@ -761,7 +761,7 @@ let run_update () = () let run_sync () = - List.iter (fun (rem, _) -> Git.fetch rem) mirror_repos; + List.iter (fun (rem, _) -> "mirror-"^rem |> Git.fetch) mirror_repos; Git.fetch "garden"; Git.pull "beta"; Git.pull "current"; |