Also push relevant tags over

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 6d788a65ce08bb1da2b27291287ce3e0f205b1a9..e0cea70fa752295f13068ad9c48b411e13623d03 100644 (file)
--- 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