From 619c014e8bcd1897860b75608835ef22d2b52174 Mon Sep 17 00:00:00 2001
From: Michel Albert <michel@albert.lu>
Date: Mon, 12 Aug 2024 08:40:13 +0200
Subject: [PATCH] Make sure tags are pushed to github

---
 .gitlab-ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index c2f5c83..e2da073 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -217,6 +217,7 @@ upload:
        post-luxembourg/clproc.git"
     - "git checkout ${CI_COMMIT_BRANCH}"
     - "git push github ${CI_COMMIT_BRANCH}"
+    - "git push github --tags"
   rules:
     - if: "$CI_COMMIT_REF_PROTECTED == 'true'"
       when: on_success