Prune all dead branches, not only those from the 'origin'.

Signed-off-by: Michele Calgaro <michele.calgaro@yahoo.it>
pull/1/head
Michele Calgaro 6 years ago
parent f50efa7e80
commit 5d8f3a4478
Signed by: MicheleC
GPG Key ID: 2A75B7CA8ADED5CF

@ -72,7 +72,9 @@ updateModule() {
git reset --hard HEAD
git clean -dxff
fi
git remote prune origin
for _remote in `git remote`; do
git remote prune $_remote
done
if [[ -e $PARENTDIR/$MODULE.gitmodules ]]; then
if [[ $gituser == "anonymous" ]]; then

Loading…
Cancel
Save