[CI/CD] Mirror also tags to Github.

This commit is contained in:
Fabio Manganiello 2024-07-27 15:31:50 +02:00
parent 4568b4659e
commit 9bbdfc1eb9
Signed by untrusted user: blacklight
GPG key ID: D90FBA7F76362774

View file

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