diff options
| -rwxr-xr-x | bin/updatebuildmain | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/bin/updatebuildmain b/bin/updatebuildmain index f4f4917..1aca5e1 100755 --- a/bin/updatebuildmain +++ b/bin/updatebuildmain @@ -20,7 +20,7 @@ set -e GITPROJECT=$(basename $(pwd)) -REF=$1 +REF=${1-HEAD} # we need to be within a working copy (base folder) and we need a <REF>!!! test -z $1 || test -d ./.git || { @@ -30,5 +30,6 @@ 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 |