?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
more mozilla mompatibility
[glugin.git] / push.sh
blob144d6586bcdb45ad4ef71a9b82db2da423b1bb21
1 #!/bin/sh
2 params=""
3
4 if [ -z "$@" ] ;
5 then params='--all'
6 else params="$@"
7 fi
8
9 exec git-push 'git+ssh://repo.or.cz/srv/git/glugin.git' $params
10
Glugin, the GL Plugin