From a31dee5a2178a2c0bc6f150f326e1d2bdeadf80d Mon Sep 17 00:00:00 2001
From: Junio C Hamano <gitster@pobox.com>
Date: Wed, 19 Oct 2011 11:14:04 -0700
Subject: [PATCH] Meta/pushall: show where we are pushing

---
 pushall | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

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" ;;