diff options
Diffstat (limited to 'bin/x2go-tagbuildmain')
| -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 |