#! /bin/sh PATH=/usr/local/src/Python/git-remote-hg:$PATH has_remote() { git remote show "$1" >/dev/null 2>&1 } prog_dir="`dirname \"$0\"`" && cat "$prog_dir"/locate-all.list | grep -F /usr/local/src | while read d; do echo "----- $d -----"; cd "$d" && if has_remote upstream && has_remote origin; then git pull upstream master && git push origin master || exit 1 else git remote | xargs -I% git pull % master || exit 1 fi done