pushall

   1 #!/bin/sh
   2
   3 sites='ko repo github2 sfjp sf.net gph '
   4
   5 while :
   6 do
   7         failed=
   8         for remote in $sites
   9         do
  10                 printf "%s: " "$remote"
  11                 git push --follow-tags "$remote" "$@" || failed="$failed$remote "
  12         done
  13
  14         if test -z "$failed"
  15         then
  16                 break
  17         elif test "x$sites" = "x$failed"
  18         then
  19                 echo >&2 "Failed to push to: $sites"
  20                 exit 1
  21         fi
  22         sites="$failed"
  23 done
  24
  25 case "$#,$*" in
  26 0,* | 1,-n)
  27         printf "github mirror: "
  28         git push github "$@" || exit $?
  29         for topic in htmldocs manpages
  30         do
  31                 printf "%s: " "$topic"
  32                 ( cd ../git-$topic.git && git push "$@") || exit
  33         done
  34         ;;
  35 esac