Meta/pushall: treat two mirrors equally

diff --git a/pushall b/pushall
index 782680d2299a52afe82c1d8d7d6e68fec0a9447a..78680bc18798270148cd9c30109848267762565f 100755 (executable)
--- 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"