Track tag files, before checking for the diff

This commit is contained in:
flip1995 2020-07-16 14:42:13 +02:00
parent ef896faa01
commit c65eb4d663
No known key found for this signature in database
GPG Key ID: 2CEFCDB27ED0BE79

2
.github/deploy.sh vendored
View File

@ -34,6 +34,8 @@ git config user.name "GHA CI"
git config user.email "gha@ci.invalid"
if [[ -n $TAG_NAME ]]; then
# track files, so that the following check works
git add --intent-to-add "$TAG_NAME"
if git diff --exit-code --quiet -- $TAG_NAME/; then
echo "No changes to the output on this push; exiting."
exit 0