android/git-repo
1
Fork 0
mirror of https://gerrit.googlesource.com/git-repo synced 2025-01-20 16:14:25 +00:00
Code Issues Packages Projects Releases Wiki Activity

Revert "Add --prune option to fetch when syncing a mirror repo"

Browse Source 
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 b4d43b9f66.

Change-Id: Ie849b66682138ef88da6cd1a5fbb27e993197dd7
This commit is contained in:
David Pursehouse 2015-07-20 22:29:19 +09:00
parent b3d6e67196
commit 4e16c24981
1 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
project.py
View File

@ -1881,8 +1881,6 @@ class Project(object):
cmd.append('--quiet') cmd.append('--quiet')
if not self.worktree: if not self.worktree:
cmd.append('--update-head-ok') cmd.append('--update-head-ok')
if self.manifest.IsMirror:
cmd.append('--prune')
cmd.append(name) cmd.append(name)
# If using depth then we should not get all the tags since they may # If using depth then we should not get all the tags since they may