diff options
| -rw-r--r-- | project.py | 2 |
1 files changed, 0 insertions, 2 deletions
| @@ -1881,8 +1881,6 @@ class Project(object): | |||
| 1881 | cmd.append('--quiet') | 1881 | cmd.append('--quiet') |
| 1882 | if not self.worktree: | 1882 | if not self.worktree: |
| 1883 | cmd.append('--update-head-ok') | 1883 | cmd.append('--update-head-ok') |
| 1884 | if self.manifest.IsMirror: | ||
| 1885 | cmd.append('--prune') | ||
| 1886 | cmd.append(name) | 1884 | cmd.append(name) |
| 1887 | 1885 | ||
| 1888 | # If using depth then we should not get all the tags since they may | 1886 | # If using depth then we should not get all the tags since they may |
