CI: when pushing TX, also push the tag

2020-01-25 12:36:02 +01:00 · 2020-01-25 12:36:02 +01:00 · d86b6bddeb
commit d86b6bddeb
parent 86770111b5
1 changed files with 1 additions and 0 deletions
--- 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