diff options
author | Paul Sokolovsky <pfalcon@users.sourceforge.net> | 2014-01-17 15:40:00 +0200 |
---|---|---|
committer | Paul Sokolovsky <pfalcon@users.sourceforge.net> | 2014-01-17 15:40:00 +0200 |
commit | efbcba2966e709a028735f4678223680a9e0b805 (patch) | |
tree | 3cc639dbd0acfaeda55417523ffa43fb8d2a160c | |
parent | b0555cb008d5dfdca9e64b528899e45830d918e0 (diff) |
Time each individual push operation, to debug push hangs we have.
Change-Id: Ib99911541e04cd9899290ea803e94a756b3a026f
-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): |