From 9bbdfc1eb9d83cff74599174ae0c951118eac8b8 Mon Sep 17 00:00:00 2001 From: Fabio Manganiello Date: Sat, 27 Jul 2024 15:31:50 +0200 Subject: [PATCH] [CI/CD] Mirror also tags to Github. --- .drone/github-mirror.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/.drone/github-mirror.sh b/.drone/github-mirror.sh index 70bba95e39..d3eadd2e9a 100755 --- a/.drone/github-mirror.sh +++ b/.drone/github-mirror.sh @@ -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