From f77af5593c08775123d5ba91f4372b15bd42af3b Mon Sep 17 00:00:00 2001 From: Lewis Larsen Date: Sun, 7 Jul 2024 20:44:58 +0100 Subject: [PATCH] chore: Script improvements --- bump_version.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/bump_version.sh b/bump_version.sh index 55f15dd2..e3d30fce 100755 --- a/bump_version.sh +++ b/bump_version.sh @@ -172,7 +172,7 @@ echo "$NEW_VERSION" > VERSION log "INFO" "Committing version bump..." git add VERSION -git commit -m "chore: bump version from $OLD_VERSION to $NEW_VERSION 🎉" +git commit --no-verify -m "chore: bump version from $OLD_VERSION to $NEW_VERSION 🎉" if git rev-parse -q --verify "refs/tags/$OLD_VERSION" >/dev/null; then log "WARNING" "Deleting old tag locally..." @@ -182,7 +182,7 @@ fi git tag "$NEW_VERSION" log "INFO" "Pushing changes to GitHub..." -if ! git push origin main "$NEW_VERSION"; then +if ! git push --no-verify origin main "$NEW_VERSION"; then log "ERROR" "Failed to push changes to GitHub." exit 1 fi