01/02: hydra: Update IPs for berlin build nodes.

[Ricardo Wurmus]

rekado pushed a commit to branch master
in repository maintenance.

commit bae911bcd7ea6fcc4f9c6dd7fc81a75cf49a52ca
Author: Ricardo Wurmus <address@hidden>
Date:   Tue Dec 5 17:30:56 2017 +0100

    hydra: Update IPs for berlin build nodes.
    
    * hydra/machines-for-berlin.scm (hosts): Update IPs for nodes 13, 14,
    15, 16, 17, and 18.  Disable node 17.
---
 hydra/machines-for-berlin.scm | 15 ++++++++-------
 1 file changed, 8 insertions(+), 7 deletions(-)

diff --git a/hydra/machines-for-berlin.scm b/hydra/machines-for-berlin.scm
index 8acd3db..985e666 100644
--- a/hydra/machines-for-berlin.scm
+++ b/hydra/machines-for-berlin.scm
@@ -26,17 +26,18 @@
      "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIEV/kwYw7DSs0SW+2ckl0nGjdOejcYNqx4nylz73DINp")
     ("141.80.167.143"
      "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIFpNX9c3Gg2W0OHPC5HVPNQmYneve9dzJ2sNOLFVaE8A")
-    ("192.168.0.13"
+    ("141.80.167.144"
      "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAICKjJaVpqc8gQ9mQaxR/q1mp8ph1Dhc3ppc9c0ndCxll")
-    ("192.168.0.14"
+    ("141.80.167.145"
      "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIKN4ElXT6fA85AcrBfvAgDoJ6ySOP2IHSY7aXgZ+QzOH")
-    ("192.168.0.15"
+    ("141.80.167.146"
      "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIJZNXe33AmYuLYRj3l36ISOBARRwWPGmK8Z23Pthy5A+")
-    ("192.168.0.16"
+    ("141.80.167.147"
      "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIFJCI6Q6Jj0Jgzg3EynK2udulD4ut7jOZd8io+PuNJed")
-    ("192.168.0.17"
-     "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIF4pC34XavKqRy+SUvWTzOyk9EbIMDovDztRIFiEtlyZ")
-    ("192.168.0.18"
+    ;; This server had a disk failure and needs to be re-installed.
+    ;; ("141.80.167.148"
+    ;;  "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIF4pC34XavKqRy+SUvWTzOyk9EbIMDovDztRIFiEtlyZ")
+    ("141.80.167.149"
      "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAICdg/NuiqdpbMW1y00AhyqhBr4J6SeVvDKXQ01m97kZj")
     ("141.80.167.150"
      "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIBIWiJFShafxIcJV12OzzCUczrSD65ftTfFiLRkK188D")