]> granicus.if.org Git - esp-idf/commitdiff
CI: Fix error in the push_master_to_github job when using the fetch strategy
authorAnton Maklakov <anton@espressif.com>
Tue, 4 Jul 2017 03:52:57 +0000 (11:52 +0800)
committerAnton Maklakov <anton@espressif.com>
Tue, 4 Jul 2017 03:53:24 +0000 (11:53 +0800)
.gitlab-ci.yml

index 03480319a576fe7aecd29015a2913cd121516a5a..219fc1b85c5b3ca52210a6781a058a65a2482f26 100644 (file)
@@ -305,6 +305,7 @@ push_master_to_github:
     - base64 --decode --ignore-garbage ~/.ssh/id_rsa_base64 > ~/.ssh/id_rsa
     - chmod 600 ~/.ssh/id_rsa
     - echo -e "Host github.com\n\tStrictHostKeyChecking no\n" >> ~/.ssh/config
+    - git remote remove github &>/dev/null || true
     - git remote add github git@github.com:espressif/esp-idf.git
     # What the next line of script does: goes through the list of refs for all branches we push to github,
     # generates a snippet of shell which is evaluated. The snippet checks CI_COMMIT_SHA against the SHA