[CI/CD] Only push tags to Github on the second git push command.

This commit is contained in:
Fabio Manganiello 2024-07-27 15:36:22 +02:00
parent 20483524d1
commit 598de6b91a
Signed by untrusted user: blacklight
GPG key ID: D90FBA7F76362774

View file

@ -11,4 +11,4 @@ git pull --rebase github "$(git branch | head -1 | awk '{print $2}')" || echo "N
# Push the changes to the GitHub mirror # Push the changes to the GitHub mirror
git push --all -v github git push --all -v github
git push --tags origin master git push --tags