diff options
| author | Paul Sokolovsky <pfalcon@users.sourceforge.net> | 2014-10-09 17:39:20 +0300 |
|---|---|---|
| committer | Paul Sokolovsky <pfalcon@users.sourceforge.net> | 2014-10-09 17:39:20 +0300 |
| commit | 54189a5405abe3242c96fc709e6469685cac099c (patch) | |
| tree | b83f226a864ab4bd97b780121151fc0913cb719a /git-gerrit-mirror | |
| parent | b5d180770b60249159f5d89b5c3f6341694f08e6 (diff) | |
Don't show progress indicator on push unless --debug.
Progress indicator rendering just contaminates logs.
Change-Id: I51666f2a6305ec465f718db29a3a2218f27a6474
Diffstat (limited to 'git-gerrit-mirror')
| -rwxr-xr-x | git-gerrit-mirror | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/git-gerrit-mirror b/git-gerrit-mirror index e0fa6fc..f2efb5a 100755 --- a/git-gerrit-mirror +++ b/git-gerrit-mirror @@ -242,9 +242,13 @@ def push_repos(host, git_repos, force=False): projname = relpath[:-len(".git")] mirror_projname = conf.get_mirror_repo(host, projname) os.chdir(abspath) - force_opt = " --force" if force else "" + extra_opts = "" + if force: + extra_opts += " --force" + if not options.debug: + extra_opts += " --no-progress" repo_root = conf.get_var(options.dest, "repo_root") - cmdline = "time 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/*'" % (extra_opts, repo_root, mirror_projname) run_command(cmdline) def host_url_to_path(host): |