commit 4e16c249817aa3b14a5d1ce767687f1d82c41249
author David Pursehouse <david.pursehouse@sonymobile.com> Mon Jul 20 22:29:19 2015 +0900
committer David Pursehouse <david.pursehouse@sonymobile.com> Mon Jul 20 22:31:04 2015 +0900
tree 4891ff867cc09305e8e69de5e533e70c8a955d29
parent b3d6e67196b4f9d85f3c11453a9502a6e71364d7

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

project.py

diff --git a/project.py b/project.py
index d0d3b6e..00f6b90 100644
--- a/project.py
+++ b/project.py
@@ -1881,8 +1881,6 @@
       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