Fix tag clobbering

2020-05-17 18:26:13 +02:00
parent 1b11953688
commit 8b797ba126
2 changed files with 7 additions and 3 deletions
--- a/src/entrypoint.sh
+++ b/src/entrypoint.sh
@@ -75,8 +75,11 @@ if ! git diff --cached --quiet --exit-code; then
    echo "Tagging commit..."
    tag

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

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