Merge branch 'bugfix/github_deploy_regression' into 'master'

ci: Fix bad push command when pushing branch to github

See merge request idf/esp-idf!2902
This commit is contained in:
Angus Gratton 2018-08-02 08:26:30 +08:00
commit b6bdde1eeb

View File

@ -390,7 +390,7 @@ push_to_github:
- git remote add github git@github.com:espressif/esp-idf.git
# Need separate push commands for tag builds and for branch builds
- "[ -n \"${CI_COMMIT_TAG}\" ] && git push github ${CI_COMMIT_TAG}"
- "[ -z \"${CI_COMMIT_TAG}\" ] && git push github ${CI_COMMIT_SHA}:/refs/heads/${CI_COMMIT_REF_NAME}"
- "[ -z \"${CI_COMMIT_TAG}\" ] && git push github ${CI_COMMIT_SHA}:refs/heads/${CI_COMMIT_REF_NAME}"
deploy_docs:
stage: host_test