diff options
-rwxr-xr-x | git-gerrit-mirror | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/git-gerrit-mirror b/git-gerrit-mirror index 1d24aa6..f2c1b8d 100755 --- a/git-gerrit-mirror +++ b/git-gerrit-mirror @@ -225,7 +225,7 @@ def push_repos(host, git_repos, force=False): os.chdir(abspath) force_opt = " --force" if force else "" repo_root = conf.get_var(options.dest, "repo_root") - cmdline = "git push%s %s/%s.git 'refs/heads/*' 'refs/tags/*'" % (force_opt, repo_root, mirror_projname) + cmdline = "time git push%s %s/%s.git 'refs/heads/*' 'refs/tags/*'" % (force_opt, repo_root, mirror_projname) run_command(cmdline) def check_args(optparser, args, expected): |