Meta/pushall: show where we are pushing

diff --git a/pushall b/pushall
index fd2984636e6d2f3a9acbd315d124692280b5165a..7755a181ed54f1ad832257ab395f25f5dfe99390 100755 (executable)
--- 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" ;;