diff options
| author | Dax Raad <[email protected]> | 2026-02-01 20:35:02 -0500 |
|---|---|---|
| committer | Dax Raad <[email protected]> | 2026-02-01 20:35:02 -0500 |
| commit | 3ab41d548f0c2352d6fd351e16d8151bc4c25f00 (patch) | |
| tree | 61b28f4bd903943fbfe7383c5b2dba8fc63c2ba8 /script | |
| parent | d3d783e23db89fd020430359979a8c815053a80b (diff) | |
| download | opencode-3ab41d548f0c2352d6fd351e16d8151bc4c25f00.tar.gz opencode-3ab41d548f0c2352d6fd351e16d8151bc4c25f00.zip | |
ci: skip force push when beta branch is unchanged
Diffstat (limited to 'script')
| -rwxr-xr-x | script/beta.ts | 13 |
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") |
