adapt container hostnames
For the ssh-jobs to work again one needs to
-
adapt hostname for containers flint.rz.tu-harburg.de
->prod-docker-flint.rz.tuhh.de
-
adapt KNOWN_HOSTS ssh-keyscan -p PORT HOST
Edited by Fabian Nuraddin Alexander Gabel
For the ssh-jobs to work again one needs to
flint.rz.tu-harburg.de
-> prod-docker-flint.rz.tuhh.de