From 20ab8abd8d1fcf1fa75df8c3fd330311a6f200cd Mon Sep 17 00:00:00 2001 From: Simon Michael Date: Thu, 6 Jan 2022 07:10:02 -1000 Subject: [PATCH] ;tools: release: push current HEAD, not master --- tools/release | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/tools/release b/tools/release index 7ff10044f..5a6c18497 100755 --- a/tools/release +++ b/tools/release @@ -118,9 +118,9 @@ prep() { # Push the current branch to the CI branches that generate platform binaries. bin() { - run git push -f origin master:ci-windows - run git push -f origin master:ci-mac - run git push -f origin master:ci-linux-x64 + run git push -f origin HEAD:ci-windows + run git push -f origin HEAD:ci-mac + run git push -f origin HEAD:ci-linux-x64 } if declare -f "$1" > /dev/null; then "$@"; else usage; fi