ci: Fix bad push command when pushing branch to github

Fixes regression in e5f4ae63f1
This commit is contained in:
Angus Gratton 2018-08-01 10:47:38 +10:00 committed by Angus Gratton
parent 1c7a8b3b71
commit 99401a16e7

View file

@ -390,7 +390,7 @@ push_to_github:
- git remote add github git@github.com:espressif/esp-idf.git - git remote add github git@github.com:espressif/esp-idf.git
# Need separate push commands for tag builds and for branch builds # Need separate push commands for tag builds and for branch builds
- "[ -n \"${CI_COMMIT_TAG}\" ] && git push github ${CI_COMMIT_TAG}" - "[ -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: deploy_docs:
stage: host_test stage: host_test