diff options
author | Erwan Yvin <erwan.yvin@gmail.com> | 2019-06-18 13:49:12 +0200 |
---|---|---|
committer | Mike Frysinger <vapier@google.com> | 2020-11-17 03:06:06 +0000 |
commit | dc5c4d1d117304345ebec71a852184859883e1eb (patch) | |
tree | f1a96e8418bf7a7a03bdf02708e469b4ed63c0fd /subcmds/sync.py | |
parent | 23411d3f9c3df36b68080cf457ca093f8f1c1f21 (diff) | |
download | git-repo-dc5c4d1d117304345ebec71a852184859883e1eb.tar.gz |
sync: respect --force-sync when fetching manifest project updates
The --force-sync option was being passed down for all updates except
for the manifest project, so add that there too.
Bug: https://crbug.com/gerrit/11034
Change-Id: I33818b652f828c6b847dbc70f1fedfac5ac17bbe
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/228146
Tested-by: Mike Frysinger <vapier@google.com>
Reviewed-by: Mike Frysinger <vapier@google.com>
Diffstat (limited to 'subcmds/sync.py')
-rw-r--r-- | subcmds/sync.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/subcmds/sync.py b/subcmds/sync.py index 9a844021..f5a7b0e6 100644 --- a/subcmds/sync.py +++ b/subcmds/sync.py | |||
@@ -780,6 +780,7 @@ later is required to fix a server side protocol bug. | |||
780 | start = time.time() | 780 | start = time.time() |
781 | success = mp.Sync_NetworkHalf(quiet=opt.quiet, verbose=opt.verbose, | 781 | success = mp.Sync_NetworkHalf(quiet=opt.quiet, verbose=opt.verbose, |
782 | current_branch_only=opt.current_branch_only, | 782 | current_branch_only=opt.current_branch_only, |
783 | force_sync=opt.force_sync, | ||
783 | tags=opt.tags, | 784 | tags=opt.tags, |
784 | optimized_fetch=opt.optimized_fetch, | 785 | optimized_fetch=opt.optimized_fetch, |
785 | retry_fetches=opt.retry_fetches, | 786 | retry_fetches=opt.retry_fetches, |