From 7aa156584fb3cb0f6e0403b8dd625723860778c6 Mon Sep 17 00:00:00 2001
From: Christian Meter <cmeter@googlemail.com>
Date: Thu, 7 Dec 2023 13:02:38 +0100
Subject: [PATCH] Update .gitlab-ci.yml

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index eaef69c..8e63b41 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -28,6 +28,6 @@ deploy_production:
     - mkdir -p ~/.ssh
     - echo "$SSH_PRIVATE_KEY" | tr -d '\r' | ssh-add -
     - chmod 700 ~/.ssh/
-    - ssh-keyscan -H 'discovery.cs.hhu.de' > ~/.ssh/known_hosts
+    - echo "$SSH_KNOWN_HOSTS" >> ~/.ssh/known_hosts 
   script:
     - ssh root@discovery.cs.hhu.de