From 0fa81ca69021534e6aeadad487387643666874bc Mon Sep 17 00:00:00 2001 From: Michele Calgaro Date: Wed, 15 Aug 2018 21:16:17 +0900 Subject: [PATCH] DEB build scripts: remove dead branches from all "remote"s, not only from "origin" Signed-off-by: Michele Calgaro --- debian/_buildscripts/local/update_repositories.sh | 3 +++ 1 file changed, 3 insertions(+) diff --git a/debian/_buildscripts/local/update_repositories.sh b/debian/_buildscripts/local/update_repositories.sh index 5c0f5aa45..8975d0d93 100755 --- a/debian/_buildscripts/local/update_repositories.sh +++ b/debian/_buildscripts/local/update_repositories.sh @@ -77,6 +77,9 @@ function _do_update() eval git reset --hard HEAD $OPT_VERBOSE_LOG eval git clean -dxff $OPT_VERBOSE_LOG eval git fetch $OPT_VERBOSE_LOG + for _remote in `git remote`; do + eval git remote prune $_remote $OPT_VERBOSE_LOG + done if [[ $(git rev-parse HEAD) != $(git rev-parse "origin/$BRANCH") ]]; then eval git pull --rebase $GIT_NO_RECURSE_SUBMODULES $OPT_VERBOSE_LOG if [[ `git rev-parse HEAD` == `git rev-parse "origin/$BRANCH"` ]]; then