Add missing push arg

2020-05-16 19:16:43 +02:00
parent 6b705fa3a4
commit c902408157
1 changed files with 1 additions and 1 deletions
--- a/src/entrypoint.sh
+++ b/src/entrypoint.sh
@@ -76,7 +76,7 @@ if ! git diff --cached --quiet --exit-code; then
    tag

    echo "Pushing to repo..."
-    git push --set-upstream origin "$INPUT_REF"
+    git push --set-upstream origin --tags "$INPUT_REF"

    echo "::endgroup::"
    echo "Task completed."