From d86b6bddebe50e503ef22fb8e1ade3fe6be723c4 Mon Sep 17 00:00:00 2001
From: Adriaan de Groot <groot@kde.org>
Date: Sat, 25 Jan 2020 12:36:02 +0100
Subject: [PATCH] CI: when pushing TX, also push the tag

---
 ci/txpush.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/ci/txpush.sh b/ci/txpush.sh
index 954e0b4b1..fa0f36a3f 100755
--- a/ci/txpush.sh
+++ b/ci/txpush.sh
@@ -41,6 +41,7 @@ else
   # txtag is used to tag in git to measure changes
   txtag() {
     git tag -f translation
+    git push origin translation
   }
 fi