From b8eadb8603b83c053a313b39c2a8f268385d8942 Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel
Date: Mon, 29 Jul 2019 23:39:05 +0200
Subject: refactor: deploy jobs need not clone the repo

* Set "GIT_STRATEGY: none" accordingly
---
 .gitlab-ci.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index d7d8ba9..81c7b7e 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -327,6 +327,8 @@ ci-finmap-dev:
   image: docker:latest
   services:
     - docker:dind
+  variables:
+    GIT_STRATEGY: none
   environment:
     name: deployment
     url: https://hub.docker.com/r/mathcomp/mathcomp-dev
-- 
cgit v1.2.3