From 8efd660d7b628ec5c555387fed1d8e40671fcd37 Mon Sep 17 00:00:00 2001
From: Gregor Kleen <kleen@cip.ifi.lmu.de>
Date: Thu, 14 Nov 2019 13:36:09 +0100
Subject: [PATCH] chore(gitlab-ci): deploy to uniworx3

---
 .gitlab-ci.yml | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 19ba3fb20..9057a6839 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -212,10 +212,10 @@ yesod:test:
       - $CI_COMMIT_REF_NAME =~ /^v[0-9].*/
   retry: 2
 
-deploy:uniworx4:
+deploy:uniworx3:
   stage: deploy
   script:
-    - ssh -i ~/.ssh/id root@uniworx4.ifi.lmu.de <bin/uniworx
+    - ssh -i ~/.ssh/id root@uniworx3.ifi.lmu.de <bin/uniworx
   needs:
     - yesod:build
     - yesod:test # For sanity
@@ -225,13 +225,10 @@ deploy:uniworx4:
     - apt-get install -y --no-install-recommends openssh-client
     - install -m 0700 -d ~/.ssh
     - install -m 0644 ${SSH_KNOWN_HOSTS} ~/.ssh/known_hosts
-    - install -m 0400 ${SSH_PRIVATE_KEY_UNIWORX4} ~/.ssh/id
+    - install -m 0400 ${SSH_PRIVATE_KEY_UNIWORX3} ~/.ssh/id
   dependencies:
     - yesod:build
         
   only:
     variables:
       - $CI_COMMIT_REF_NAME =~ /^v[0-9].*/
-
-  when: manual
-  retry: 2