diff options
| -rwxr-xr-x | bin/updatebuildmain | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/bin/updatebuildmain b/bin/updatebuildmain index 1aca5e1..54c3544 100755 --- a/bin/updatebuildmain +++ b/bin/updatebuildmain @@ -30,6 +30,7 @@ test -z $1 || test -d ./.git || { } # update the build-main branch with our newest blessed reference -git branch -D build-main &>/dev/null || true -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 |