diff options
| -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 |
