From 5c2089ed96eccde31a96f78c483fd856accccd3a Mon Sep 17 00:00:00 2001
From: Matthias Hochsteger <mhochsteger@cerbsim.com>
Date: Mon, 7 Sep 2020 15:50:48 +0200
Subject: [PATCH] push git tags to sourceforge

---
 .gitlab-ci.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index c50d4eb0..a862660a 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -15,8 +15,8 @@ push_github_sourceforge:
     - git remote update
     - git checkout master
     - git pull origin master
-    - git push sourceforge master
-    - git push github master
+    - git push sourceforge master --tags
+    - git push github master --tags
   only:
     - master