3 for remote
in ko repo gph github2 sfjp sf.net
5 printf "%s: " "$remote"
6 git push
"$remote" "$@" ||
exit $?
11 printf "github mirror: "
12 git push github
"$@" ||
exit $?
13 for topic
in htmldocs manpages
15 printf "%s: " "$topic"
16 ( cd ..
/git-
$topic.git
&& git push
) ||
exit