Rename jenkins to jenko (RT:#5781)

diff --git a/config/nagios-master.cfg b/config/nagios-master.cfg
index 95d3203..4420319 100644 (file)
--- a/config/nagios-master.cfg
+++ b/config/nagios-master.cfg
@@ -1003,7 +1003,7 @@ servers:
     address: 206.12.19.132
     parents: ganeti2
     hostgroups: computers, service, kvmdomains, jessie, apache2-hosts, apache-https
-  jenkins:
+  jenko:
     address: 206.12.19.133
     parents: ganeti2
     hostgroups: computers, service, kvmdomains, jessie