delete the latest tag if changes are to be found

This commit is contained in:
2025-06-07 12:40:33 +02:00
parent 8c6c81b910
commit c31823e981

View File

@@ -98,10 +98,11 @@ jobs:
if ! git diff --cached --quiet; then
latest_tag=$(git describe --tags --abbrev=0 2>/dev/null || true)
if [ -n "$latest_tag" ]; then
git tag -d "$latest_tag" || true
git push origin :refs/tags/$latest_tag -q || true
git tag -d "$latest_tag" -q || true
fi
git commit -m "Update CI"
git push origin HEAD:main --tags --force
git commit -m "Update CI" -q
git push origin HEAD:main --tags --force -q
echo " → Updated and pushed $owner/$repo"
else
echo " → No changes detected for $owner/$repo"