ADD: deploy task for lab

.gitlab-ci.yml

@@ -47,6 +47,24 @@ deploy_devel:
   environment:
     name: devel
     url: https://netvs-devel.scc.kit.edu/hub
+deploy_lab:
+  stage: deploy
+  only:
+    - devel
+  script:
+    - 'command -v ssh-agent || ( apt-get install openssh-client -y )'
+    - eval $(ssh-agent -s)
+    - echo "$NETVS_DEVEL_HUB_DEPLOY" | base64 -d | tr -d '\r' | ssh-add -
+    - mkdir -p ~/.ssh
+    - chmod 700 ~/.ssh
+    - echo "$SSH_KNOWN_HOSTS" > ~/.ssh/known_hosts
+    - chmod 644 ~/.ssh/known_hosts
+    - ssh www-netvs@netvs-lab.scc.kit.edu "${CI_PIPELINE_ID}"
+  needs:
+    - netvs_hub_cli
+  environment:
+    name: lab
+    url: https://netvs-lab.scc.kit.edu/hub
 deploy_prod:
   stage: deploy
   only: