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

[Ricardo Wurmus]

rekado pushed a commit to branch master
in repository maintenance.

commit 1c1df2c4d5714bd9369da2988481280e27bd91bf
Author: Ricardo Wurmus <address@hidden>
Date:   Mon Dec 4 18:00:14 2017 +0100

    hydra: Update more IPs for berlin build nodes.
    
    * hydra/machines-for-berlin.scm (hosts): Update IPs for nodes 4, 5, 6,
    7, 8, 9, 10, and 11.
---
 hydra/machines-for-berlin.scm | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/hydra/machines-for-berlin.scm b/hydra/machines-for-berlin.scm
index 249d550..8acd3db 100644
--- a/hydra/machines-for-berlin.scm
+++ b/hydra/machines-for-berlin.scm
@@ -8,21 +8,21 @@
      "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIOTaTAJNxFbPQTXjGiQ0+taDGJCirxOTe3vK++jxHTtR")
     ("141.80.167.134"
      "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIJDK9gGqftWQM7JkUiT58AdaUhMl04874CZ3525r9MSf")
-    ("192.168.0.4"
+    ("141.80.167.135"
      "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIIJBS5YOhjngLWE4LEQmsVQ0Oxidy3QfQlyxp+aK0cnf")
-    ("192.168.0.5"
+    ("141.80.167.136"
      "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIFNhrcrMnwVyOEJpXwEQkvAp6HfE79s2cNJf8DHC8GTv")
-    ("192.168.0.6"
+    ("141.80.167.137"
      "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIGEvwgtlWCvtZb38cDgICAdIF8KojWCrMBKT2i3fKB+l")
-    ("192.168.0.7"
+    ("141.80.167.138"
      "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIF6P0X1V8rBjY2MzrF+D12ewk2xDtqqdrAG0br0cQEU9")
-    ("192.168.0.8"
+    ("141.80.167.139"
      "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIAcwpKSO33tqW5tnGyk8t0ZBiXqXQnbLqe++XYzpi+vC")
-    ("192.168.0.9"
+    ("141.80.167.140"
      "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIDiPbdAAWc7YRiDORu4uSjjUXWmGbGwwhVMuclyfeRku")
-    ("192.168.0.10"
+    ("141.80.167.141"
      "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIIyuS1MndiMbm3prey/2ccBidoz23nM6DAsurl9Yb7g6")
-    ("192.168.0.11"
+    ("141.80.167.142"
      "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIEV/kwYw7DSs0SW+2ckl0nGjdOejcYNqx4nylz73DINp")
     ("141.80.167.143"
      "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIFpNX9c3Gg2W0OHPC5HVPNQmYneve9dzJ2sNOLFVaE8A")