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

simonmichael · simonmichael · commit ed1d08dc2245 · 2022-06-04T19:32:09.000+01:00
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

Original file line number	Diff line number	Diff line change
`@@ -146,9 +146,7 @@ prep() {`
`146`	`146`
`147`	`147`	`# Push the current branch to the CI branches that generate platform binaries.`
`148`	`148`	`bin() {`
`149`		`- run git push -f origin HEAD:ci-windows`
`150`		`- run git push -f origin HEAD:ci-mac`
`151`		`- run git push -f origin HEAD:ci-linux-x64`
	`149`	`+ run git push -f origin HEAD:binaries`
`152`	`150`	`}`
`153`	`151`
`154`	`152`	`if declare -f "$1" > /dev/null; then "$@"; else usage; fi`