From 49dd911d96cb874c1c46e0ef792189ca0336239f Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Sat, 6 Apr 2019 11:06:22 +0200
Subject: [ci/deploy] Fix branch creation when pushing to coq/coq-on-cachix.

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index a8e7ef8fd4..ec3702b360 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -365,7 +365,7 @@ pkg:nix:deploy:channel:
     - echo "$CACHIX_DEPLOYMENT_KEY" | tr -d '\r' | ssh-add - > /dev/null
     - git fetch --unshallow
     - git branch -v
-    - git push git@github.com:coq/coq-on-cachix "${CI_COMMIT_SHA}":"${CI_COMMIT_REF_NAME}"
+    - git push git@github.com:coq/coq-on-cachix "${CI_COMMIT_SHA}":"refs/heads/${CI_COMMIT_REF_NAME}"
 
 pkg:nix:
   extends: .nix-template
-- 
cgit v1.2.3