From: Junio C Hamano <gitster@pobox.com>
Date: Thu, 25 May 2017 02:19:23 +0000 (+0900)
Subject: Meta/pushall: treat two mirrors equally
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=36c4696f0e92f33c49804849575683c43fd7fb17;p=thirdparty%2Fgit.git

Meta/pushall: treat two mirrors equally
---

diff --git a/pushall b/pushall
index 782680d229..78680bc187 100755
--- a/pushall
+++ b/pushall
@@ -1,7 +1,8 @@
 #!/bin/sh
 
-sites='ko repo github2 sfjp sf.net gob-private '
+sites='ko repo github2 sfjp sf.net'
 nexts='ko repo github2 '
+mirrors='github gob-private'
 
 push_retry () {
 	sites=$1
@@ -38,8 +39,11 @@ push_retry "$sites" "$@"
 
 case "$#,$*" in
 0,* | 1,-n)
-	printf "github mirror: "
-	git push github "$@" || exit $?
+	for mirror in $mirrors
+	do
+		printf "$mirror mirror: "
+		git push $mirror "$@" || exit $?
+	done
 	for topic in htmldocs manpages
 	do
 		printf "%s: " "$topic"