From: Anton Maklakov Date: Tue, 4 Jul 2017 03:52:57 +0000 (+0800) Subject: CI: Fix error in the push_master_to_github job when using the fetch strategy X-Git-Tag: v3.1-dev~493^2 X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=19cd330117a1db354c2e0a73c8bf6ea857cf54de;p=esp-idf CI: Fix error in the push_master_to_github job when using the fetch strategy --- diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 03480319a5..219fc1b85c 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -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