diff options
author | Anders Björklund <anders.bjorklund.2@volvocars.com> | 2021-01-18 10:32:36 +0100 |
---|---|---|
committer | Mike Frysinger <vapier@google.com> | 2021-01-22 11:43:13 +0000 |
commit | 2a2da80ba6f1a511fbf8f6ffe3800c1455a337d5 (patch) | |
tree | b1690a31d900b6c1d7e4fd9a8c8fbc3a0e5d6e73 /subcmds | |
parent | 6a872c9daeec58dda61786e6f65591330709f6ad (diff) | |
download | git-repo-2a2da80ba6f1a511fbf8f6ffe3800c1455a337d5.tar.gz |
sync: Disable info about disabling pruning when quiet
If you have a lot of shared projects, it spams.
Bug: https://crbug.com/gerrit/13961
Change-Id: If3f5baef65930830af9a2cd01a1b593dd518ab09
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/294049
Tested-by: Anders Björklund <anders.bjorklund.2@volvocars.com>
Reviewed-by: Mike Frysinger <vapier@google.com>
Diffstat (limited to 'subcmds')
-rw-r--r-- | subcmds/sync.py | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/subcmds/sync.py b/subcmds/sync.py index d6b8f9dc..225e565a 100644 --- a/subcmds/sync.py +++ b/subcmds/sync.py | |||
@@ -561,8 +561,9 @@ later is required to fix a server side protocol bug. | |||
561 | # Make sure pruning never kicks in with shared projects. | 561 | # Make sure pruning never kicks in with shared projects. |
562 | if (not project.use_git_worktrees and | 562 | if (not project.use_git_worktrees and |
563 | len(project.manifest.GetProjectsWithName(project.name)) > 1): | 563 | len(project.manifest.GetProjectsWithName(project.name)) > 1): |
564 | print('%s: Shared project %s found, disabling pruning.' % | 564 | if not opt.quiet: |
565 | (project.relpath, project.name)) | 565 | print('%s: Shared project %s found, disabling pruning.' % |
566 | (project.relpath, project.name)) | ||
566 | if git_require((2, 7, 0)): | 567 | if git_require((2, 7, 0)): |
567 | project.EnableRepositoryExtension('preciousObjects') | 568 | project.EnableRepositoryExtension('preciousObjects') |
568 | else: | 569 | else: |