From 984aefc0c51a80ff705f9fda57f274c02159a678 Mon Sep 17 00:00:00 2001
From: laurentheirendt <laurent.heirendt@uni.lu>
Date: Wed, 23 Jan 2019 11:45:22 +0100
Subject: [PATCH] hard reset of develop

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 4e637794..2bc8b0a6 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -20,7 +20,8 @@ pages:
 
     # build the develop version into latest
     - git checkout develop
-    - git pull origin develop
+    - git fetch origin develop
+    - git reset --hard origin/develop
     - grunt dist
     - mkdir latest
     - mv public/* latest/.
-- 
GitLab