3 # for remote in ko repo gph github2 sfjp sf.net
4 for remote
in ko repo gph github2 sfjp sf.net
6 printf "%s: " "$remote"
7 git push
--follow-tags "$remote" "$@" ||
exit $?
12 printf "github mirror: "
13 git push github
"$@" ||
exit $?
14 for topic
in htmldocs manpages
16 printf "%s: " "$topic"
17 ( cd ..
/git-
$topic.git
&& git push
"$@") ||
exit