diff options
| author | Slávek Banko <slavek.banko@axis.cz> | 2018-08-06 17:23:34 +0200 |
|---|---|---|
| committer | Slávek Banko <slavek.banko@axis.cz> | 2018-08-06 17:24:32 +0200 |
| commit | 7bfde00c316cfc42351510b082d999392d9bf281 (patch) | |
| tree | 44cc02c0f3c4c70d19144bcedc28a8b3c7ae5bb7 | |
| parent | 9e77d9c754401953fc41831e39cb2359ce65e72b (diff) | |
| download | scripts-7bfde00c316cfc42351510b082d999392d9bf281.tar.gz scripts-7bfde00c316cfc42351510b082d999392d9bf281.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>
(cherry picked from commit a04af5586759094483cd1aeece37530a76a2f1d4)
| -rwxr-xr-x | switch_all_submodules_to_head_and_clean | 1 |
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 |