diff options
| author | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2012-01-23 00:53:27 +0100 |
|---|---|---|
| committer | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2012-01-23 00:53:27 +0100 |
| commit | c66c5506234163ee7aa33ba4c47e8c0a549b4c78 (patch) | |
| tree | 695360f9332ba54ee15d495dad356ee7e072f170 | |
| parent | 88b6a034e2527cb6dbd6df06a24977a105c35b0b (diff) | |
| download | buildscripts-c66c5506234163ee7aa33ba4c47e8c0a549b4c78.tar.gz buildscripts-c66c5506234163ee7aa33ba4c47e8c0a549b4c78.tar.bz2 buildscripts-c66c5506234163ee7aa33ba4c47e8c0a549b4c78.zip | |
fix updatebuildmain
| -rwxr-xr-x | bin/updatebuildmain | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/bin/updatebuildmain b/bin/updatebuildmain index f4f4917..f4abe4e 100755 --- a/bin/updatebuildmain +++ b/bin/updatebuildmain @@ -30,5 +30,7 @@ test -z $1 || test -d ./.git || { } # update the build-main branch with our newest blessed reference -git branch build-main &>/dev/null || true -git push origin $REF:build-main +git branch -d build-main &>/dev/null || true +git tag -d build-main &>/dev/null || true +git checkout -b build-main $REF +git push origin build-main:build-main |