chore: try to speed up gitlab build

.gitlab-ci.yml

@@ -104,10 +104,11 @@ yesod:build:dev:
     - rm -rvf /etc/apt/sources.list /etc/apt/sources.list.d
     - install -v -T -m 0644 ${APT_SOURCES_LIST} /etc/apt/sources.list
     - apt-get update -y
-    - apt-get install -y --no-install-recommends locales-all openssh-client
+    - apt-get install -y --no-install-recommends locales-all openssh-client git-restore-time
     - install -v -m 0700 -d ~/.ssh
     - install -v -T -m 0644 ${SSH_KNOWN_HOSTS} ~/.ssh/known_hosts
     - install -v -T -m 0400 ${SSH_DEPLOY_KEY} ~/.ssh/deploy && echo "IdentityFile ~/.ssh/deploy" >> ~/.ssh/config; 
+    - git-restore-time
   artifacts:
     paths:
       - bin/
@@ -172,6 +173,8 @@ frontend:test:
 deploy:uniworx3:
   cache: {}
   stage: deploy
+  variables:
+    GIT_STRATEGY: none
   script:
     - zip -qj - bin/uniworx bin/uniworxdb | ssh root@uniworx3.ifi.lmu.de /root/bin/accept_uni2work
   needs: