From 6a304968ffffc59da5b338fa5e09d03c6951b641 Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Sat, 4 Jun 2022 19:32:09 +0100
Subject: [PATCH] tools: release: use new binaries branch (and force a new
 build)

---
 tools/release | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/tools/release b/tools/release
index b3687907f..a34421683 100755
--- 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