Meta/Doit: retire unused script
[alt-git.git] / pushall
blob872818d12d0d24ac7949ef49120ad6ca264bf56c
1 #!/bin/sh
3 for remote in ko repo gph github2 sfjp sf.net
4 do
5 printf "%s: " "$remote"
6 git push "$remote" "$@" || exit $?
7 done
9 case "$#" in
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
17 done
19 esac