Remove murphy (RT#4360)

diff --git a/modules/debian-org/misc/local.yaml b/modules/debian-org/misc/local.yaml
index 4844fe7..58ace4f 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