Don't automatically push tags

This commit is contained in:
Oliver Davies 2025-06-08 13:23:13 +01:00
parent 7c929002a9
commit 4b90a9d63f

View file

@ -8,6 +8,4 @@ tag="$(date '+%Y-%m-%d-%H.%M.%S')"
echo "Tagging commit $(git rev-parse "${commit_sha}") as ${tag}."
echo ""
# Tag the appropriate commit and push to the remote.
git tag "${tag}" "${commit_sha}"
git push origin "refs/tags/${tag}" --no-verify