From 5b2c3abda87d31de3ccebada02069bd6f998008d Mon Sep 17 00:00:00 2001 From: Nicolai Ort Date: Fri, 10 Nov 2023 14:34:20 +0100 Subject: [PATCH] Removed push that is not used --- plugin.sh | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/plugin.sh b/plugin.sh index fb5f563..aeff643 100644 --- a/plugin.sh +++ b/plugin.sh @@ -16,8 +16,6 @@ export GIT_AUTHOR_EMAIL=${CI_COMMIT_AUTHOR_EMAIL} export GIT_COMMITTER_NAME=${CI_COMMIT_AUTHOR} export GIT_COMMITTER_EMAIL=${CI_COMMIT_AUTHOR_EMAIL} -sleep 3600 - CURRENTTAG=$(git tag --sort=-creatordate | head -n 1) PREVIOUSTAG=$(git tag --sort=-creatordate | head -n 2 | tail -n 1) echo "Diff: $PREVIOUSTAG..$CURRENTTAG" @@ -52,7 +50,7 @@ if [ "${PLUGIN_GITEA_DOMAIN:+set}" = set ]; then \"prerelease\": $PLUGIN_GITEA_PRERELEASE, \"tag_name\": \"$CURRENTTAG\" }" - echo "Release created";git push --follow-tags + echo "Release created"; fi if [ "${PLUGIN_MATRIX_SERVER:+set}" = set ]; then