summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDavid Pursehouse <david.pursehouse@sonymobile.com>2015-07-20 22:29:19 +0900
committerDavid Pursehouse <david.pursehouse@sonymobile.com>2015-07-20 22:31:04 +0900
commit4e16c249817aa3b14a5d1ce767687f1d82c41249 (patch)
tree4891ff867cc09305e8e69de5e533e70c8a955d29
parentb3d6e67196b4f9d85f3c11453a9502a6e71364d7 (diff)
Revert "Add --prune option to fetch when syncing a mirror repo"
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
-rw-r--r--project.py2
1 files changed, 0 insertions, 2 deletions
diff --git a/project.py b/project.py
index d0d3b6e..00f6b90 100644
--- a/project.py
+++ b/project.py
@@ -1881,8 +1881,6 @@ class Project(object):
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