git-push-all.sh

   1 #!/bin/sh
   2
   3 PATCH_CVS="$(dirname "$0")/git-patch-cvs.sh"
   4
   5 set -e
   6
   7 $PATCH_CVS origin master ../barry3
   8 $PATCH_CVS origin master ../external/barry
   9
  10 echo "Press enter when ready for git push..."
  11 read
  12
  13 # Note: This push only updates non-CVS branches, and master.
  14 #       To push other CVS branches, do it manually, with git-patch-cvs.sh
  15
  16 git push --tags origin master i18n scripts
  17
  18
  19 echo "Press enter when ready for git push to repo.or.cz..."
  20 read
  21
  22 #
  23 # Now update repo.or.cz.  We can be more liberal here, since repo.or.cz
  24 # _should_ contain everything that can be considered public.
  25 #
  26 # The idea is to put everything out there, in case someone wants
  27 # to work on it, or send patches.
  28 #
  29 # "all" and "tags" have to be done separately for some reason
  30 #
  31 #git push --all repo.or.cz
  32 #git push --tags repo.or.cz master i18n
  33 git push repo.or.cz master i18n scripts
  34
  35 echo "================= NOTE: if you want to push a tag, do it manually!"
  36 echo "Example: git push repo.or.cz barry-0.13"
  37