Temp disable push of tags

This commit is contained in:
Stefan Zweifel 2020-03-14 13:11:13 +01:00
parent da55e4a0cf
commit 0453bb1c25

View File

@ -76,7 +76,7 @@ _push_to_github() {
if [ -z "$INPUT_BRANCH" ] if [ -z "$INPUT_BRANCH" ]
then then
echo "git push origin without branch name" echo "git push origin without branch name"
git push origin --tags git push origin
else else
git push --set-upstream origin "HEAD:$INPUT_BRANCH" --tags git push --set-upstream origin "HEAD:$INPUT_BRANCH" --tags
fi fi