From 98a779d411b3299d3990dd4932ff52e053789706 Mon Sep 17 00:00:00 2001
From: Vincent Laporte
Date: Tue, 19 Mar 2019 17:14:07 +0000
Subject: [CI] Push the right commit to cachix

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 828380894e..e688fbd463 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -359,7 +359,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_REF_NAME}"
+    - git push git@github.com:coq/coq-on-cachix "${CI_COMMIT_SHA}":"${CI_COMMIT_REF_NAME}"
 
 pkg:nix:
   extends: .nix-template
-- 
cgit v1.2.3