UPD pipeline use new username for new devel host

52517b27 · !! Julian Keck (old Account; do not use) !! · 4edb94d5 · 52517b27
Commit 52517b27 authored 1 year ago by !! Julian Keck (old Account; do not use) !!
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -41,7 +41,7 @@ deploy_devel:
    - chmod 700 ~/.ssh
    - echo "$SSH_KNOWN_HOSTS" > ~/.ssh/known_hosts
    - chmod 644 ~/.ssh/known_hosts
-    - ssh net-suite-devel@netvs-devel.scc.kit.edu "${CI_PIPELINE_ID}"
+    - ssh www-netvs@netvs-devel.scc.kit.edu "${CI_PIPELINE_ID}"
  needs:
    - netvs_hub_cli
  environment: