diff options
author | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2011-04-26 00:35:21 +0200 |
---|---|---|
committer | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2011-04-26 00:35:21 +0200 |
commit | 8f875db205c5868be3de75e0a4946ac305baec07 (patch) | |
tree | bf785405a223be4b8e7467f85f547ccc10b4fcdf | |
parent | 54569e95a38f7fded955f492751424c54902a043 (diff) | |
download | buildscripts-8f875db205c5868be3de75e0a4946ac305baec07.tar.gz buildscripts-8f875db205c5868be3de75e0a4946ac305baec07.tar.bz2 buildscripts-8f875db205c5868be3de75e0a4946ac305baec07.zip |
script works now after some tests...
-rwxr-xr-x | bin/x2go-tagbuildmain | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/bin/x2go-tagbuildmain b/bin/x2go-tagbuildmain index 739db07..d79e027 100755 --- a/bin/x2go-tagbuildmain +++ b/bin/x2go-tagbuildmain @@ -30,9 +30,10 @@ test -z $1 || test -d ./.git || { } # remove old build-main tag on the remote server -ssh -lx2go code.x2go.org "cd /srv/git/code.x2go.org/$GITPROJECT.git && git tag -d build-main || echo warn: $GITPROJECT.git was not yet tagged with build-main tag..." +git pull origin +ssh -lx2go code.x2go.org "cd /srv/git/code.x2go.org/$GITPROJECT.git && git tag -d build-main || echo warn: server-side Git project $GITPROJECT.git was not yet tagged with build-main tag..." # remove old build-main tag locally -git tag -d build-main +git tag -d build-main || echo "warn: local $GITPROJECT.git working copy was not yet tagged with build-main tag..." -git tag -s build-main -m "debian/build-main tag" +git tag -s build-main $REF -m "debian/build-main tag" git push --tags |