summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorDax Raad <[email protected]>2026-02-01 20:35:02 -0500
committerDax Raad <[email protected]>2026-02-01 20:35:02 -0500
commit3ab41d548f0c2352d6fd351e16d8151bc4c25f00 (patch)
tree61b28f4bd903943fbfe7383c5b2dba8fc63c2ba8
parentd3d783e23db89fd020430359979a8c815053a80b (diff)
downloadopencode-3ab41d548f0c2352d6fd351e16d8151bc4c25f00.tar.gz
opencode-3ab41d548f0c2352d6fd351e16d8151bc4c25f00.zip
ci: skip force push when beta branch is unchanged
-rwxr-xr-xscript/beta.ts13
1 files changed, 12 insertions, 1 deletions
diff --git a/script/beta.ts b/script/beta.ts
index 53329e4dc..4355c5879 100755
--- a/script/beta.ts
+++ b/script/beta.ts
@@ -124,7 +124,18 @@ async function main() {
throw new Error(`${failed.length} PR(s) failed to merge`)
}
- console.log("\nForce pushing beta branch...")
+ console.log("\nChecking if beta branch has changes...")
+ await $`git fetch origin beta`
+
+ const localTree = await $`git rev-parse beta^{tree}`.text()
+ const remoteTree = await $`git rev-parse origin/beta^{tree}`.text()
+
+ if (localTree.trim() === remoteTree.trim()) {
+ console.log("Beta branch has identical contents, no push needed")
+ return
+ }
+
+ console.log("Force pushing beta branch...")
await $`git push origin beta --force --no-verify`
console.log("Successfully synced beta branch")