01/01: hydra: Add redhill to the list of build machines.

[Andreas Enge]

andreas pushed a commit to branch master
in repository maintenance.

commit a8d84963c9bc8aaf1e81dd91241248d05a043e1d
Author: Andreas Enge <address@hidden>
Date:   Wed Nov 1 17:13:54 2017 +0100

    hydra: Add redhill to the list of build machines.
    
    * hydra/machines.scm: Add redhill to the return value.
    (redhill): Drop non-standard port.
---
 hydra/machines.scm | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/hydra/machines.scm b/hydra/machines.scm
index 22d89ac..c95cfe7 100644
--- a/hydra/machines.scm
+++ b/hydra/machines.scm
@@ -54,7 +54,6 @@
 (define redhill
   (build-machine
     (name "redhill.guixsd.org")
-    (port 9023)
     (user "hydra")
     (system "armhf-linux")
     (private-key %openssh-private-key)
@@ -129,7 +128,7 @@
       ;; librenote-mips64el    ; dead fan
       hydra-slave0
 
-      ;; redhill   ; networking issue
+      redhill
 
       hydra-slave1
       hydra-slave2