diff options
| -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 |