Merge pull request #44 from n2o/n2o-patch-1

Update .gitlab-ci.yml
n2o · Dec 7, 2023 · 17dc015 · 17dc015
2 parents bd21515 + 7aa1565
commit 17dc015
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 [email protected]