Remove murphy (RT#4360)

diff --git a/modules/debian-org/misc/local.yaml b/modules/debian-org/misc/local.yaml
index 4844fe73564634ff931357203fdb2fa1f5d75aec..58ace4fd89dbf5a3a2cf3636aa03ddccb75dcebd 100644 (file)
--- a/modules/debian-org/misc/local.yaml
+++ b/modules/debian-org/misc/local.yaml
@@ -308,7 +308,6 @@ host_settings:
     - morricone.debian.org
     - muffat.debian.org
     - mundy.debian.org
-    - murphy.debian.org
     - paganini.debian.org
     - parry.debian.org
     - partch.debian.org