add tags

ad-m · Nov 22, 2019 · dbccd85 · dbccd85
1 parent 02b0b75
commit dbccd85
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/start.sh b/start.sh
@@ -21,4 +21,4 @@ cd ${INPUT_DIRECTORY}
 
 remote_repo="https://${GITHUB_ACTOR}:${INPUT_GITHUB_TOKEN}@github.com/${REPOSITORY}.git"
 
-git push "${remote_repo}" HEAD:${INPUT_BRANCH} --follow-tags $_FORCE_OPTION;
+git push "${remote_repo}" HEAD:${INPUT_BRANCH} --follow-tags $_FORCE_OPTION --tags;