3 #sites='ko repo github2 sfjp sf.net'
4 sites='ko repo github2'
5 nexts='ko repo github2 '
6 mirrors='github gob-private'
16 printf "%s: " "$remote"
17 git push --follow-tags "$remote" "$@" || failed="$failed$remote "
23 elif test "x$sites" = "x$failed"
25 echo >&2 "Failed to push to: $sites"
33 *' +next '* | *' next '*)
34 push_retry "$nexts" "$@"
39 push_retry "$sites" "$@"
43 for mirror in $mirrors
45 printf "$mirror mirror: "
46 git push $mirror "$@" || exit $?
48 for topic in htmldocs manpages
50 printf "%s: " "$topic"
51 ( cd ../git-$topic.git && git push "$@") || exit
53 test "$1" = '-n' || ( cd ../git-htmldocs.git && git push gh-pages )