tree c75e26c4763222dde9526443781fd8f2d47f74fd
parent 4ccad7554b958c701653c41a72442cccf301e71a
author David Pursehouse <david.pursehouse@sonymobile.com> 1430213292 +0900
committer David Pursehouse <david.pursehouse@sonymobile.com> 1430357557 +0900

Add --prune option to fetch when syncing a mirror repo

When syncing a mirror repo, add the --prune option to the fetch
command to force removal of stale refs from the mirror.

Change-Id: I4b43b2a5c86b9915627887c16f6569066f3ab978