diff options
| author | David Pursehouse <david.pursehouse@sonymobile.com> | 2015-10-14 10:50:15 +0900 |
|---|---|---|
| committer | David Pursehouse <david.pursehouse@sonymobile.com> | 2015-10-27 03:04:17 +0000 |
| commit | 74cfd2709b0bc23fc3efb8951b4b5abb2bf4e4a7 (patch) | |
| tree | 3df8296e4e9673893cf5fd7ed77b888e606311bf /git_command.py | |
| parent | c2a64ddffd397f28c1187da1cc07f29825b7d0fb (diff) | |
| download | git-repo-74cfd2709b0bc23fc3efb8951b4b5abb2bf4e4a7.tar.gz | |
Sync: Add option to prune refs during sync
By passing --prune to the sync command, the --prune option is
given to the `git fetch`, causing refs that no longer exist on
the remote to be removed.
Change-Id: I3cedacce14276d96ac2d5aabf2d07fd05e92bc02
Diffstat (limited to 'git_command.py')
0 files changed, 0 insertions, 0 deletions