auto-"git remote prune origin" when ./all update'ing
authorRudolf Polzer <rpolzer@grawp.(none)>
Sun, 28 Mar 2010 18:55:16 +0000 (20:55 +0200)
committerRudolf Polzer <rpolzer@grawp.(none)>
Sun, 28 Mar 2010 18:55:16 +0000 (20:55 +0200)
all

diff --git a/all b/all
index d0d826cbd3b27895fd924b5da2be8c03e6c27b03..f164928cc79a75df3e79f3750aec7aafc8706577 100755 (executable)
--- a/all
+++ b/all
@@ -56,6 +56,7 @@ case "$cmd" in
                                                ;;
                                esac
                                verbose git pull
+                               verbose git remote prune origin
                                cd "$d0"
                        else
                                verbose git clone "$url" "$d0/$d"