diff --git a/pushall b/pushall index fd2984636e..7755a181ed 100755 --- a/pushall +++ b/pushall @@ -1,13 +1,14 @@ #!/bin/sh -git push repo "$@" && -git push gph "$@" && -git push github2 "$@" && -git push sfjp "$@" && -git push sf.net "$@" && +for remote in ko repo gph github2 sfjp sf.net +do + printf "%s: " "$remote" + git push "$remote" "$@" || exit $? +done case "$#" in 0) + printf "github mirror: " git push github "$@" ;; *) echo "No push to github" ;;