From 393e22da0536b55ec3d6a16464d3ea13173090e5 Mon Sep 17 00:00:00 2001 From: Doug Hellmann Date: Thu, 16 Aug 2018 12:57:55 -0400 Subject: [PATCH] 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 --- tools/clone_repo.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/clone_repo.sh b/tools/clone_repo.sh index 89f7dd977d..befde3dbd4 100755 --- a/tools/clone_repo.sh +++ b/tools/clone_repo.sh @@ -173,7 +173,7 @@ fi # Make sure it is up to date compared to the upstream remote. (cd $local_dir && - git fetch origin --tags + git fetch origin --tags --prune ) if [ ! -z "$REF" ]; then