commit b4d43b9f664d6472b6c1e91c98f951037d00cea5
author David Pursehouse <david.pursehouse@sonymobile.com> Tue Apr 28 18:28:12 2015 +0900
committer David Pursehouse <david.pursehouse@sonymobile.com> Thu Apr 30 10:32:37 2015 +0900
tree c75e26c4763222dde9526443781fd8f2d47f74fd
parent 4ccad7554b958c701653c41a72442cccf301e71a

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

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

project.py

diff --git a/project.py b/project.py
index 6217aec..1e525b3 100644
--- a/project.py
+++ b/project.py
@@ -1836,6 +1836,8 @@
       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