to_ozlabs: prune the remote repos

diff --git a/to_ozlabs b/to_ozlabs
index 3b15d3e66e2c0c66bce08b3cde68fc22c5fe23a0..268c09ed4ab7434891b4fcfaddebe12ded43dc55 100755 (executable)
--- a/to_ozlabs
+++ b/to_ozlabs
@@ -9,7 +9,7 @@ ssh ozlabs.org "cd kernels/linus.git; git remote update"
 
 for i in $GIT_REPOS; do
        echo "Pushing $i"
-       ( cd $i; git push bilbo )
+       ( cd $i; git push --prune bilbo )
        [ "${i%.git}" = "$i" ] &&
                ssh ozlabs.org "cd kernels/next/$i; git reset --hard"
 done