prune dead branches when syncing with origin

Remove any branches that are dead when we sync with the origin remote
so that if we are re-creating a branch we don't end up with the old
version.

Change-Id: Icc74fc1c67749eea7af3bf1b04c3cfb9daba46d9
Signed-off-by: Doug Hellmann <doug@doughellmann.com>
This commit is contained in:
Doug Hellmann 2018-08-16 12:57:55 -04:00
parent a73477f29a
commit 393e22da05

View File

@ -173,7 +173,7 @@ fi
# Make sure it is up to date compared to the upstream remote. # Make sure it is up to date compared to the upstream remote.
(cd $local_dir && (cd $local_dir &&
git fetch origin --tags git fetch origin --tags --prune
) )
if [ ! -z "$REF" ]; then if [ ! -z "$REF" ]; then