Hopefully fix wrong commit getting tagged

This commit is contained in:
ToMe25
2020-05-16 19:44:48 +02:00
parent f0a1d2598a
commit 83761c7e8e

View File

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