summaryrefslogtreecommitdiffhomepage
path: root/script
diff options
context:
space:
mode:
Diffstat (limited to 'script')
-rwxr-xr-xscript/beta.ts2
1 files changed, 1 insertions, 1 deletions
diff --git a/script/beta.ts b/script/beta.ts
index 7884fd248..a1a07ce9a 100755
--- a/script/beta.ts
+++ b/script/beta.ts
@@ -100,7 +100,7 @@ async function main() {
skipped.forEach((x) => console.log(` - PR #${x.number}: ${x.reason}`))
console.log("\nForce pushing beta branch...")
- const push = await $`git push origin beta --force`.nothrow()
+ const push = await $`git push origin beta --force --no-verify`.nothrow()
if (push.exitCode !== 0) {
throw new Error(`Failed to push beta branch: ${push.stderr}`)
}