From 67336cecdbb498fe6b4ca56f709822eaae162bb2 Mon Sep 17 00:00:00 2001
From: laurentheirendt <laurent.heirendt@uni.lu>
Date: Wed, 23 Jan 2019 12:09:58 +0100
Subject: [PATCH] force checkout

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 2bc8b0a6..3dcb04a7 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -19,7 +19,7 @@ pages:
     - mv public/* stable/.
 
     # build the develop version into latest
-    - git checkout develop
+    - git checkout -f develop
     - git fetch origin develop
     - git reset --hard origin/develop
     - grunt dist
-- 
GitLab