tree 3df8296e4e9673893cf5fd7ed77b888e606311bf
parent c2a64ddffd397f28c1187da1cc07f29825b7d0fb
author David Pursehouse <david.pursehouse@sonymobile.com> 1444787415 +0900
committer David Pursehouse <david.pursehouse@sonymobile.com> 1445915057 +0000

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