diff --git a/bin/tag-release b/bin/tag-release index 2c1f7bde..ad112170 100755 --- a/bin/tag-release +++ b/bin/tag-release @@ -10,4 +10,4 @@ echo "" # Tag the appropriate commit and push to the remote. git tag "${tag}" "${commit_sha}" -git push origin "refs/tags/${tag}" +git push origin "refs/tags/${tag}" --no-verify