From d4a53f1779c17cd626c3df64a6aa6abf37abe6d9 Mon Sep 17 00:00:00 2001 From: Stefan Zweifel Date: Thu, 5 Mar 2020 20:28:38 +0100 Subject: [PATCH] Push Tags to Remote Repository --- entrypoint.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/entrypoint.sh b/entrypoint.sh index 45c4d13..d85c1c0 100755 --- a/entrypoint.sh +++ b/entrypoint.sh @@ -62,9 +62,9 @@ _local_commit() { _push_to_github() { if [ -z "$INPUT_BRANCH" ] then - git push origin + git push origin --tags else - git push --set-upstream origin "HEAD:$INPUT_BRANCH" + git push --set-upstream origin "HEAD:$INPUT_BRANCH" --tags fi }