Hopefully this time fix which commit gets tagged

This commit is contained in:
ToMe25
2020-05-16 19:53:34 +02:00
parent 46569f991f
commit d4aeb9335d

View File

@@ -32,10 +32,7 @@ remove() {
} }
tag() { tag() {
if [ -n "$INPUT_TAG" ]; then if [ -n "$INPUT_TAG" ]; then git tag $INPUT_TAG; fi
git tag $INPUT_TAG
git push origin refs/tags/$INPUT_TAG
fi
} }
# This is needed to make the check work for untracked files # This is needed to make the check work for untracked files
@@ -79,7 +76,7 @@ if ! git diff --cached --quiet --exit-code; then
tag tag
echo "Pushing to repo..." echo "Pushing to repo..."
git push --set-upstream origin "$INPUT_REF" git push --set-upstream origin "$INPUT_REF" --tags
echo "::endgroup::" echo "::endgroup::"
echo "Task completed." echo "Task completed."