diff options
| -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 |