diff options
Diffstat (limited to 'project.py')
-rw-r--r-- | project.py | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -1842,6 +1842,8 @@ class Project(object): | |||
1842 | cmd.append('--quiet') | 1842 | cmd.append('--quiet') |
1843 | if not self.worktree: | 1843 | if not self.worktree: |
1844 | cmd.append('--update-head-ok') | 1844 | cmd.append('--update-head-ok') |
1845 | if self.manifest.IsMirror: | ||
1846 | cmd.append('--prune') | ||
1845 | cmd.append(name) | 1847 | cmd.append(name) |
1846 | 1848 | ||
1847 | # If using depth then we should not get all the tags since they may | 1849 | # If using depth then we should not get all the tags since they may |