chore: fix lockfile pushing in release.sh

tokio-rs · Jul 3, 2023 · 6402586 · 6402586
1 parent abaea54
commit 6402586
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/bin/release.sh b/bin/release.sh
@@ -251,8 +251,9 @@ else
     exit 1
 fi
 
+cd "$rootdir"
 git add "Cargo.lock"
-git_push=(git push -u origin)
+git_push=(git push -u origin --force-with-lease)
 git_amend=(git commit --amend --reuse-message HEAD)
 if [[ "$dry_run" ]]; then
     echo ""