Delete obsolete commented-out configs for some arm hosts

diff --git a/config/nagios-master.cfg b/config/nagios-master.cfg
index 49ebc12..9b8d81c 100644 (file)
--- a/config/nagios-master.cfg
+++ b/config/nagios-master.cfg
@@ -1180,18 +1180,6 @@ servers:
     address: 144.32.168.76
     parents: gw-ynic
     hostgroups: computers, hasbootfs, hassrvfs, armhf, stretch, buildd
-  #antheil:
-  #  address: 217.140.96.60
-  #  parents: gw-arm
-  #  hostgroups: computers, hasbootfs, hassrvfs, buildd, wheezy, broken_mq
-  #hasse:
-  #  address: 217.140.96.68
-  #  parents: gw-arm
-  #  hostgroups: computers, hasbootfs, hassrvfs, wheezy, armhf, buildd, broken_mq
-  #henze:
-  #  address: 217.140.96.70
-  #  parents: gw-arm
-  #  hostgroups: computers, hasbootfs, hassrvfs, wheezy, armhf, buildd, broken_mq
   # }}}
   # {{{ gw-zivit
   zandonai: