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