CI: Fix error in the push_master_to_github job when using the fetch strategy

pull/783/head
Anton Maklakov 2017-07-04 11:52:57 +08:00
rodzic abdbb4292a
commit 19cd330117
1 zmienionych plików z 1 dodań i 0 usunięć

Wyświetl plik

@ -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