Meta/RelBuild: kill GPG agent only if it is still running
[git/jrn.git] / pushall
blobe46ddf6086de6b2dbe2dc156f8dc9e4550dc6690
1 #!/bin/sh
3 # for remote in ko repo gph github2 sfjp sf.net
4 for remote in ko repo gph github2 sfjp sf.net
5 do
6 printf "%s: " "$remote"
7 git push --follow-tags "$remote" "$@" || exit $?
8 done
10 case "$#,$*" in
11 0,* | 1,-n)
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
18 done
20 esac