From 99401a16e7065dcbb156db9b39c930379a2d92df Mon Sep 17 00:00:00 2001
From: Angus Gratton <angus@espressif.com>
Date: Wed, 1 Aug 2018 10:47:38 +1000
Subject: [PATCH] ci: Fix bad push command when pushing branch to github

Fixes regression in e5f4ae63f1a15ebbe92a11ae689dd86b64aa8382
---
 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 49d48dd9fe..22b64aac15 100644
--- 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