+ push)
+ for d in $repos; do
+ cd "$d0/$d"
+ r=`git symbolic-ref HEAD`
+ r=${r#refs/heads/}
+ a=
+ if git log "origin/$r".."$r" | grep .; then
+ while [ x"$a" != x"y" -a x"$a" != x"n" ]; do
+ echo "Push $r in $d?"
+ read -r a
+ done
+ if [ x"$a" = x"y" ]; then
+ git push `git config "branch.$r.remote" || echo origin` HEAD
+ fi
+ fi
+ cd "$d0"
+ done
+ ;;