summaryrefslogtreecommitdiffhomepage
path: root/script
diff options
context:
space:
mode:
authorCaleb Norton <[email protected]>2026-02-18 00:20:05 -0600
committerGitHub <[email protected]>2026-02-18 00:20:05 -0600
commit6eb043aedb81705aa2fa47629d8c778c16b307f9 (patch)
tree60e7ec1a55d3b870a877701473d050f0f5a6e16c /script
parente96f6385c20ddd7d2101f59bdd77a1ac58b1bd52 (diff)
downloadopencode-6eb043aedb81705aa2fa47629d8c778c16b307f9.tar.gz
opencode-6eb043aedb81705aa2fa47629d8c778c16b307f9.zip
ci: allow commits on top of beta PRs (#11924)
Diffstat (limited to 'script')
-rwxr-xr-xscript/beta.ts13
1 files changed, 9 insertions, 4 deletions
diff --git a/script/beta.ts b/script/beta.ts
index b5f1c3e1e..a5fb027e6 100755
--- a/script/beta.ts
+++ b/script/beta.ts
@@ -128,10 +128,15 @@ async function main() {
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")
+ const remoteTrees = (await $`git log origin/dev..origin/beta --format=%T`.text()).split("\n")
+
+ const matchIdx = remoteTrees.indexOf(localTree.trim())
+ if (matchIdx !== -1) {
+ if (matchIdx !== 0) {
+ console.log(`Beta branch contains this sync, but additional commits exist after it. Leaving beta branch as is.`)
+ } else {
+ console.log("Beta branch has identical contents, no push needed")
+ }
return
}