Meta/pushall: treat two mirrors equally
Junio C Hamano committed
May 25, 2017 at 11:19 UTC
36c4696f0e92f33c49804849575683c43fd7fb17
1 file changed
+7
-3
pushall
+7
-3
@@ -1,7 +1,8 @@
1
#!/bin/sh
2
3
-sites='ko repo github2 sfjp sf.net gob-private '
3
+sites='ko repo github2 sfjp sf.net'
4
nexts='ko repo github2 '
5
+mirrors='github gob-private'
6
7
push_retry () {
8
sites=$1
@@ -38,8 +39,11 @@ push_retry "$sites" "$@"
39
40
case "$#,$*" in
41
0,* | 1,-n)
41
- printf "github mirror: "
42
- git push github "$@" || exit $?
42
+ for mirror in $mirrors
43
+ do
44
+ printf "$mirror mirror: "
45
+ git push $mirror "$@" || exit $?
46
+ done
47
for topic in htmldocs manpages
48
do
49
printf "%s: " "$topic"