We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent d3d783e commit 3ab41d5Copy full SHA for 3ab41d5
1 file changed
script/beta.ts
@@ -124,7 +124,18 @@ async function main() {
124
throw new Error(`${failed.length} PR(s) failed to merge`)
125
}
126
127
- console.log("\nForce pushing beta branch...")
+ console.log("\nChecking if beta branch has changes...")
128
+ await $`git fetch origin beta`
129
+
130
+ const localTree = await $`git rev-parse beta^{tree}`.text()
131
+ const remoteTree = await $`git rev-parse origin/beta^{tree}`.text()
132
133
+ if (localTree.trim() === remoteTree.trim()) {
134
+ console.log("Beta branch has identical contents, no push needed")
135
+ return
136
+ }
137
138
+ console.log("Force pushing beta branch...")
139
await $`git push origin beta --force --no-verify`
140
141
console.log("Successfully synced beta branch")
0 commit comments