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