#!/bin/bash GIT_REPOS="next next-history.git quilt next-fixes tools etc mmotm" cd ~/kernels/next echo "Updating Linus' tree" ssh ozlabs.org "cd kernels/linus.git; git remote update" for i in $GIT_REPOS; do echo "Pushing $i" ( cd $i; git push --prune bilbo ) [ "${i%.git}" = "$i" ] && ssh ozlabs.org "cd kernels/next/$i; git reset --hard" done { cat <