tools: release: use new binaries branch (and force a new build)

simonmichael · Jun 4, 2022 · ed1d08d · ed1d08d
1 parent 969d456
commit ed1d08d
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/tools/release b/tools/release
@@ -146,9 +146,7 @@ prep() {
 
 # Push the current branch to the CI branches that generate platform binaries.
 bin() {
-  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
+  run git push -f origin HEAD:binaries
 }
 
 if declare -f "$1" > /dev/null; then "$@"; else usage; fi