3 #sites='ko repo github2 sfjp sf.net'
5 : ${sites:="github2 ko repo"}
7 : ${mirrors="github gob-private"}
17 printf "%s: " "$remote"
18 git push
--follow-tags "$remote" "$@" || failed
="$failed$remote "
24 elif test "x$sites" = "x$failed"
26 echo >&2 "Failed to push to: $sites"
34 *' +next '* |
*' next '*)
35 push_retry
"$nexts" "$@"
40 push_retry
"$sites" "$@"
44 for mirror
in $mirrors
46 printf "$mirror mirror: "
47 git push
$mirror "$@" ||
exit $?
49 for topic
in htmldocs manpages
51 printf "%s: " "$topic"
52 ( cd ..
/git-
$topic.git
&& git push
"$@") ||
exit
54 test "$1" = '-n' ||
( cd ..
/git-htmldocs.git
&& git push gh-pages
)