diff options
Diffstat (limited to 'git/git-jogamp-push.sh')
-rwxr-xr-x | git/git-jogamp-push.sh | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/git/git-jogamp-push.sh b/git/git-jogamp-push.sh new file mode 100755 index 0000000..dd409dc --- /dev/null +++ b/git/git-jogamp-push.sh @@ -0,0 +1,15 @@ +#! /bin/sh + +set -x + +#GIT_ARGS="--mirror" +#GIT_ARGS="--all" + +echo origin +git push $GIT_ARGS origin $* +echo jausoft +git push $GIT_ARGS jausoft $* +echo jogamp +git push $GIT_ARGS jogamp $* +echo github-jogamp +git push $GIT_ARGS github-jogamp $* |