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, |
