Push Tags to Remote Repository

2020-03-05 20:28:38 +01:00 · 2020-03-05 20:28:38 +01:00 · d4a53f1779
commit d4a53f1779
parent 956a47433b
1 changed files with 2 additions and 2 deletions
--- 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
 }