delete the latest tag if changes are to be found
All checks were successful
Update Community Skins README / Full CI/CD Pipeline (push) Successful in 3s

This commit is contained in:
2025-06-07 12:44:24 +02:00
parent c31823e981
commit 77fc33242b

View File

@@ -98,11 +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 push origin :refs/tags/$latest_tag -q || true
git tag -d "$latest_tag" -q || true
git push origin --delete tag "$latest_tag" || true
git tag -d "$latest_tag" || true
fi
git commit -m "Update CI" -q
git push origin HEAD:main --tags --force -q
git commit -m "Update CI" --quiet
git push origin HEAD:main --tags --force
echo " → Updated and pushed $owner/$repo"
else
echo " → No changes detected for $owner/$repo"