gitpush

   1 #!/bin/bash
   2 # Push the HEAD to the shared repository
   3 # assumes the following remotes:
   4 #  git remote add trubanc git+ssh://$TRUBANC/home/htdocs/trubanc.git
   5 #  git remote add trubanc git+ssh://$HUBTB/usr/local/www/trubanc.com/trubanc.git
   6 #  git remote add github git@github.com:billstclair/trubanc.git
   7 #  git remote add repo git+ssh://repo.or.cz/srv/git/Trubanc.git
   8 git push trubanc
   9 git push github
  10 git push repo