From 99d26a04875b5a05086751697181661b4f4cbcb5 Mon Sep 17 00:00:00 2001
From: Peter Palfrader <peter@palfrader.org>
Date: Thu, 27 Jun 2013 17:50:23 +0200
Subject: [PATCH] Remove murphy (RT#4360)

---
 config/nagios-master.cfg | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/config/nagios-master.cfg b/config/nagios-master.cfg
index 9b6cbf2..ad8a1de 100644
--- a/config/nagios-master.cfg
+++ b/config/nagios-master.cfg
@@ -236,12 +236,6 @@ servers:
     parents: gw-arm
     hostgroups: computers, hasbootfs, hassrvfs, armhf, wheezy, buildd, deadslow
   # }}}
-  # {{{ gw-brainfood
-  murphy:
-    address: 97.107.116.31
-    parents: gw-ubcece
-    hostgroups: computers, general, dl380, acpid-hosts, buildd, hasbootfs, hassrvfs, squeeze
-  # }}}
   # {{{ gw-brown
   franck:
     address: 138.16.160.12
-- 
2.20.1