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 github git@github.com:billstclair/trubanc.git
   6 #  git remote add repo git+ssh://repo.or.cz/srv/git/Trubanc.git
   7 git push trubanc
   8 git push github
   9 git push repo