diff options
Diffstat (limited to 'script/beta.ts')
| -rwxr-xr-x | script/beta.ts | 13 |
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 } |
