fix remote names

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";