push.sh

   1 #!/bin/sh
   2 params=""
   3
   4 if [ -z "$@" ] ;
   5 then params='--all'
   6 else params="$@"
   7 fi
   8
   9 exec git push 'ssh://repo.or.cz/srv/git/ArenaLive.git' $params
  10