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

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

Browse Source 
When syncing a mirror repo, add the --prune option to the fetch
command to force removal of stale refs from the mirror.

Change-Id: I4b43b2a5c86b9915627887c16f6569066f3ab978
This commit is contained in:
David Pursehouse 2015-04-28 18:28:12 +09:00
parent 4ccad7554b
commit b4d43b9f66
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
project.py
View File

@ -1836,6 +1836,8 @@ 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