From c396cd4dec19f3597c1341560bb8c8f46cec6de1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gr=C3=A9goire=20Henry?= <gregoire.henry@ocamlpro.com>
Date: Tue, 7 Mar 2017 13:28:23 +0100
Subject: [PATCH] CI: minor fix.

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index f259a0fe8..c01c1406f 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -142,7 +142,7 @@ publish:docker:
   script:
     - mkdir -p ~/.docker ;
     - echo "$CI_DOCKER_AUTH" > ~/.docker/config.json ;
-    - docker tag "${CI_REGISTRY_IMAGE}:${CI_BUILD_REF_NAME}"
+    - docker tag "${CI_REGISTRY_IMAGE}:${CI_BUILD_REF}"
                  "${public_docker_image}:${CI_BUILD_REF_NAME}"
     - docker push "${public_docker_image}:${CI_BUILD_REF_NAME}"
     - docker rmi "${public_docker_image}:${CI_BUILD_REF_NAME}"