ci: remove [skip ci] from dist pushback commit message

This commit is contained in:
2026-05-05 00:39:33 +02:00
parent eb29dfe1f9
commit 00ddcbd9ff
+1 -1
View File
@@ -317,6 +317,6 @@ jobs:
git config user.email "github-actions[bot]@users.noreply.github.com" git config user.email "github-actions[bot]@users.noreply.github.com"
git remote add gitea "https://x-token:${GITEA_TOKEN}@gitea.emulab.it/Simone/nsis-plugin-ns7zip.git" git remote add gitea "https://x-token:${GITEA_TOKEN}@gitea.emulab.it/Simone/nsis-plugin-ns7zip.git"
git add dist/ git add dist/
git diff --cached --quiet || git commit -m "chore: update dist/ DLLs for ${tag} [skip ci]" git diff --cached --quiet || git commit -m "chore: update dist/ DLLs for ${tag}"
git push gitea HEAD:main git push gitea HEAD:main