From: Jeroen Domburg <git@j0h.nl>
Date: Fri, 30 Sep 2016 10:06:41 +0000 (+0800)
Subject: Also push relevant tags over
X-Git-Tag: v1.0~122
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=7bdcafe5532a5eb22a7e56c3549bef0605e38150;p=esp-idf

Also push relevant tags over
---

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 6d788a65ce..e0cea70fa7 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -164,4 +164,4 @@ push_master_to_github:
     - chmod 600 ~/.ssh/id_rsa
     - echo -e "Host github.com\n\tStrictHostKeyChecking no\n" >> ~/.ssh/config
     - git remote add github git@github.com:espressif/esp-idf.git
-    - git push github HEAD:master
+    - git push --follow-tags github HEAD:master