From e21d5813c2541c038996b2c406adfcd0dfff7493 Mon Sep 17 00:00:00 2001 From: Philipp Gesang Date: Wed, 11 Jul 2018 01:17:45 +0200 Subject: fix remote names --- context_mirror_bot.ml | 6 +++--- 1 file 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"; -- cgit v1.2.3