| commit | ace097c36ef2d27991cb8186ddd65ce365f28ee8 | [log] [tgz] |
|---|---|---|
| author | David Pursehouse <david.pursehouse@sonymobile.com> | Fri May 01 07:51:52 2015 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Fri May 01 07:51:52 2015 +0000 |
| tree | 3f2b98cff76755a0904ca224b5e618e902d82406 | |
| parent | b4d43b9f664d6472b6c1e91c98f951037d00cea5 [diff] | |
| parent | b155354034a7ac18d83ab28cc3756dc36591435f [diff] |
Merge "Add option on sync to avoid fetching from remotes for existing sha1"
diff --git a/project.py b/project.py index 6112c40..4427575 100644 --- a/project.py +++ b/project.py
@@ -1842,6 +1842,8 @@ cmd.append('--quiet') if not self.worktree: cmd.append('--update-head-ok') + if self.manifest.IsMirror: + cmd.append('--prune') cmd.append(name) # If using depth then we should not get all the tags since they may