ci: Fix bad push command when pushing branch to github

Fixes regression in e5f4ae63f1a15ebbe92a11ae689dd86b64aa8382

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 49d48dd9fe4db4a0225ac033e8ca074a433cc810..22b64aac1528079a4187b6969dd7f6d3dbda9a18 100644 (file)
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -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