01/01: hydra: Enable more build hosts for berlin.guixsd.org.

[Ricardo Wurmus]

rekado pushed a commit to branch master
in repository maintenance.

commit 9ff9d3846a9517510bbfa38bc6c07d199a24b422
Author: Ricardo Wurmus <address@hidden>
Date:   Mon Aug 14 17:30:54 2017 +0200

    hydra: Enable more build hosts for berlin.guixsd.org.
---
 hydra/machines-for-berlin.scm | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/hydra/machines-for-berlin.scm b/hydra/machines-for-berlin.scm
index 15340b9..81af15a 100644
--- a/hydra/machines-for-berlin.scm
+++ b/hydra/machines-for-berlin.scm
@@ -8,12 +8,15 @@
      "ssh-rsa 
AAAAB3NzaC1yc2EAAAAEJly77QAAAQEA9YhQax5gMmeDnl/i+2BUWw8zPTc1B4Ltdx6Wzvh/ZfhCvM/TDRbxKa3sq1w0PIsGqONtMJi3gZHRA1+0M55ha7HUs8TLQg8IKt2s+eiQ6mCDux/2ZwKu/C3MSSOqo1K+2sizGBS4yS8ncwr52rLfa5y2GzSUOjlk1LsrKwYInL4oaVcckboZVc8JKuYMRoYk2sAuGGELmtWA5fAXadIrSlh9LBT1Y74taQRt/UTtY0FeRj2qCqMECwH0585+5T0quO1HIqszeE4Epuuf9xaHenkH6ycT93HlulU8sDhU/mau4nCFHVHr311a3fLl3kBopSZZTcYLKv70cRLZ21mcWw==
 root@(none)")
     ("192.168.0.3"
      "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIJDK9gGqftWQM7JkUiT58AdaUhMl04874CZ3525r9MSf")
-    ;;("192.168.0.4" "TODO")
-    ;;("192.168.0.5" "TODO")
+    ("192.168.0.4"
+     "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIIJBS5YOhjngLWE4LEQmsVQ0Oxidy3QfQlyxp+aK0cnf")
+    ("192.168.0.5"
+     "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIFNhrcrMnwVyOEJpXwEQkvAp6HfE79s2cNJf8DHC8GTv")
     ;;("192.168.0.6" "TODO")
     ("192.168.0.7"
      "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIF6P0X1V8rBjY2MzrF+D12ewk2xDtqqdrAG0br0cQEU9")
-    ;;("192.168.0.8" "TODO")
+    ("192.168.0.8"
+     "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIAcwpKSO33tqW5tnGyk8t0ZBiXqXQnbLqe++XYzpi+vC")
     ("192.168.0.9"
      "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIDiPbdAAWc7YRiDORu4uSjjUXWmGbGwwhVMuclyfeRku")
     ;;("192.168.0.10" "TODO")