03/08: hydra: Remove dead machines.

[Ricardo Wurmus]

rekado pushed a commit to branch master
in repository maintenance.

commit 36735db04ca96043374687a6cda3b87cb71b02ca
Author: Ricardo Wurmus <address@hidden>
AuthorDate: Sun Jan 19 10:45:08 2020 +0100

    hydra: Remove dead machines.
    
    * hydra/machines-for-berlin.scm (hosts): Remove entries for
    hydra-guix-{01,05,07,14,17,25}.
---
 hydra/machines-for-berlin.scm | 27 +--------------------------
 1 file changed, 1 insertion(+), 26 deletions(-)

diff --git a/hydra/machines-for-berlin.scm b/hydra/machines-for-berlin.scm
index 8eee1bf..f1bb557 100644
--- a/hydra/machines-for-berlin.scm
+++ b/hydra/machines-for-berlin.scm
@@ -4,27 +4,14 @@
 ;; These are all hosted at the MDC in rack A4.  They are connected to
 ;; a dedicated VLAN and can only be accessed from berlin.guixsd.org.
 (define hosts
-  '(;; hydra-guix-01; big node, not on Guix System yet, so it's disabled as it 
has no GC cron job.
-    ;; nodes 02 and 03 have been replaced by this node.
-    ;; ("141.80.167.132"
-    ;;  "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIMWlWUugocIkWzyxWxsJxrnIaDSUeICssBq9aqSNZivJ"
-    ;;  132)
-    ;; hydra-guix-04
+  '(;; hydra-guix-04
     ("141.80.167.135"
      "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIIJBS5YOhjngLWE4LEQmsVQ0Oxidy3QfQlyxp+aK0cnf"
      16)
-    ;; hydra-guix-05
-    ("141.80.167.136"
-     "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIFNhrcrMnwVyOEJpXwEQkvAp6HfE79s2cNJf8DHC8GTv"
-     64)
     ;; hydra-guix-06
     ("141.80.167.137"
      "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIGEvwgtlWCvtZb38cDgICAdIF8KojWCrMBKT2i3fKB+l"
      16)
-    ;; hydra-guix-07, broken disk, fails to boot.  I turned it off.
-    ;; I already changed the server to be sure it's not the controller.
-    ;; ("141.80.167.138"
-    ;;  "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIF6P0X1V8rBjY2MzrF+D12ewk2xDtqqdrAG0br0cQEU9")
     ;; hydra-guix-08
     ("141.80.167.139"
      "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIAcwpKSO33tqW5tnGyk8t0ZBiXqXQnbLqe++XYzpi+vC"
@@ -49,10 +36,6 @@
     ("141.80.167.144"
      "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAICKjJaVpqc8gQ9mQaxR/q1mp8ph1Dhc3ppc9c0ndCxll"
      64)
-    ;; hydra-guix-14
-    ("141.80.167.145"
-     "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIKN4ElXT6fA85AcrBfvAgDoJ6ySOP2IHSY7aXgZ+QzOH"
-     64)
     ;; hydra-guix-15
     ("141.80.167.146"
      "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIJZNXe33AmYuLYRj3l36ISOBARRwWPGmK8Z23Pthy5A+"
@@ -61,9 +44,6 @@
     ("141.80.167.147"
      "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIFJCI6Q6Jj0Jgzg3EynK2udulD4ut7jOZd8io+PuNJed"
      64)
-    ;; hydra-guix-17, broken disk
-    ;; ("141.80.167.148"
-    ;;  "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIOTaTAJNxFbPQTXjGiQ0+taDGJCirxOTe3vK++jxHTtR")
     ;; hydra-guix-18
     ("141.80.167.149"
      "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAICdg/NuiqdpbMW1y00AhyqhBr4J6SeVvDKXQ01m97kZj"
@@ -92,11 +72,6 @@
     ("141.80.167.155"
      "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIMV8v+fL04JUNJK5JLiXFwyFDiXyRkcBqJYCUgTAP0it"
      64)
-    ;; Store corrupted (empty .drv files).   -- Ludo', 2019-04-08
-    ;; hydra-guix-25
-    ;; ("141.80.167.156"
-    ;;  "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIA+ZoD9lcmt0zBZcc8keBb8wSXgfoK5zk4s6Oteg27wb"
-    ;;  64)
     ;; hydra-guix-26
     ("141.80.167.157"
      "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIGquqUVY3cNMomwd4lfgXPRvxJZvvYa7ud67g01b/YTT"