From 7bdcafe5532a5eb22a7e56c3549bef0605e38150 Mon Sep 17 00:00:00 2001 From: Jeroen Domburg Date: Fri, 30 Sep 2016 18:06:41 +0800 Subject: [PATCH] Also push relevant tags over --- .gitlab-ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 6d788a65c..e0cea70fa 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