fix deploy script

mikew · Oct 6, 2024 · 2492db9 · 2492db9
1 parent 6374880
commit 2492db9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/script/deploy b/script/deploy
@@ -31,7 +31,7 @@ git tag "${RELEASE_TAG}"
 # Get the SHA of the latest commit
 COMMIT_SHA=$(git rev-parse HEAD)
 git push --force origin "${RELEASE_TAG}"
-# git push origin HEAD
+git push origin HEAD
 
 # Update the target for the release.
 gh release edit "--target=${COMMIT_SHA}" "${RELEASE_TAG}"