summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rwxr-xr-xscript/publish.ts3
1 files changed, 1 insertions, 2 deletions
diff --git a/script/publish.ts b/script/publish.ts
index d6cfe0034..23ec70b16 100755
--- a/script/publish.ts
+++ b/script/publish.ts
@@ -96,7 +96,6 @@ if (!Script.preview) {
await $`git tag v${Script.version}`
await $`git fetch origin`
await $`git cherry-pick HEAD..origin/dev`.nothrow()
- await $`git push origin HEAD --tags --no-verify --force`
-
+ await $`git push origin HEAD --tags --no-verify --force-with-lease`
await $`gh release create v${Script.version} --title "v${Script.version}" --notes ${notes.join("\n") ?? "No notable changes"} ./packages/opencode/dist/*.zip`
}