]> granicus.if.org Git - esp-idf/commitdiff
Merge branch 'bugfix/github_deploy' into 'master'
authorIvan Grokhotkov <ivan@espressif.com>
Thu, 15 Sep 2016 06:08:35 +0000 (14:08 +0800)
committerIvan Grokhotkov <ivan@espressif.com>
Thu, 15 Sep 2016 06:08:35 +0000 (14:08 +0800)
fix deploy to GitHub

Previous change to gitlab-ci.yml moved setting of Gitlab ssh key to global before_script.
This together with the fact that we used `echo >>` instead of `echo >` to write to `id_rsa_base64` file caused wrong key to be used while pushing to GitHub.
Therefore:
- don't run default before_script before push_master_to_github job
- replace echo >> with echo > to avoid mistakes in the future

See merge request !82

1  2 
.gitlab-ci.yml

diff --cc .gitlab-ci.yml
Simple merge