diff options
| author | David Pursehouse <david.pursehouse@sonymobile.com> | 2015-07-20 22:29:19 +0900 |
|---|---|---|
| committer | David Pursehouse <david.pursehouse@sonymobile.com> | 2015-07-20 22:31:04 +0900 |
| commit | 4e16c249817aa3b14a5d1ce767687f1d82c41249 (patch) | |
| tree | 4891ff867cc09305e8e69de5e533e70c8a955d29 /project.py | |
| parent | b3d6e67196b4f9d85f3c11453a9502a6e71364d7 (diff) | |
| download | git-repo-4e16c249817aa3b14a5d1ce767687f1d82c41249.tar.gz | |
Revert "Add --prune option to fetch when syncing a mirror repo"v1.12.24
For some users it is not desirable to remove refs that don't exist
on the remote server when syncing a mirror repo.
This reverts commit b4d43b9f664d6472b6c1e91c98f951037d00cea5.
Change-Id: Ie849b66682138ef88da6cd1a5fbb27e993197dd7
Diffstat (limited to 'project.py')
| -rw-r--r-- | project.py | 2 |
1 files changed, 0 insertions, 2 deletions
| @@ -1881,8 +1881,6 @@ class Project(object): | |||
| 1881 | cmd.append('--quiet') | 1881 | cmd.append('--quiet') |
| 1882 | if not self.worktree: | 1882 | if not self.worktree: |
| 1883 | cmd.append('--update-head-ok') | 1883 | cmd.append('--update-head-ok') |
| 1884 | if self.manifest.IsMirror: | ||
| 1885 | cmd.append('--prune') | ||
| 1886 | cmd.append(name) | 1884 | cmd.append(name) |
| 1887 | 1885 | ||
| 1888 | # If using depth then we should not get all the tags since they may | 1886 | # If using depth then we should not get all the tags since they may |