summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorSlávek Banko <slavek.banko@axis.cz>2018-08-06 17:23:34 +0200
committerSlávek Banko <slavek.banko@axis.cz>2018-08-06 17:23:34 +0200
commita04af5586759094483cd1aeece37530a76a2f1d4 (patch)
treed8bb4886608574d95412c8fe92a4f89045d17dcc
parent8fb500ce46d9f7b19a9d81119c315c0433cf6310 (diff)
downloadscripts-a04af5586759094483cd1aeece37530a76a2f1d4.tar.gz
scripts-a04af5586759094483cd1aeece37530a76a2f1d4.zip
Update switch_all_submodules_to_head_and_clean
+ add cleaning of potential temporary branches from remote server Signed-off-by: Slávek Banko <slavek.banko@axis.cz>
-rwxr-xr-xswitch_all_submodules_to_head_and_clean1
1 files changed, 1 insertions, 0 deletions
diff --git a/switch_all_submodules_to_head_and_clean b/switch_all_submodules_to_head_and_clean
index 92f715b..b41a392 100755
--- a/switch_all_submodules_to_head_and_clean
+++ b/switch_all_submodules_to_head_and_clean
@@ -72,6 +72,7 @@ updateModule() {
git reset --hard HEAD
git clean -dxff
fi
+ git remote prune origin
if [[ -e $PARENTDIR/$MODULE.gitmodules ]]; then
if [[ $gituser == "anonymous" ]]; then