prune dead branches when syncing with origin

The release scripts rely on having an actually up to date version of
the repo being tagged or branched. Since the repos in the CI images
may have branches that have been deleted in the upstream repository,
we need to add the --prune option when we fetch any updates to cause
those branches to be removed locally.

Change-Id: I806283102be4de5ae865ca67978216a76de96a71
Related-commit: I25848275f90ec440e85765f87a23cd1413aab6cb
Signed-off-by: Doug Hellmann <doug@doughellmann.com>
This commit is contained in:
Doug Hellmann 2018-08-16 15:44:31 -04:00
parent 45ad0c7f8e
commit a1df5de264

View File

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