From db5d74d3bf48e858c15d6c9077071943c018bd86 Mon Sep 17 00:00:00 2001
From: laurentheirendt <laurent.heirendt@uni.lu>
Date: Thu, 5 May 2022 13:42:59 +0200
Subject: [PATCH] copy instead of mv

---
 .ci/deploy.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.ci/deploy.sh b/.ci/deploy.sh
index cbc551a9..87775ddf 100644
--- a/.ci/deploy.sh
+++ b/.ci/deploy.sh
@@ -59,7 +59,7 @@ do
                 yarn install
 
                 grunt dist
-                mv public/* $rootDir/public/$BLADE/$version/.
+                cp -HR public/* $rootDir/public/$BLADE/$version/.
 
                 echo " > latest built for file set ${BLADE}"
 
-- 
GitLab