01/01: hydra: Add port number to redhill.

[Andreas Enge]

andreas pushed a commit to branch master
in repository maintenance.

commit 5136997825090b604595de5ea2e128a8cc6917a6
Author: Andreas Enge <address@hidden>
Date:   Sun Feb 4 21:37:52 2018 +0100

    hydra: Add port number to redhill.
    
    * hydra/machines.scm (redhill): Add port number.
---
 hydra/machines.scm | 1 +
 1 file changed, 1 insertion(+)

diff --git a/hydra/machines.scm b/hydra/machines.scm
index c95cfe7..894ffa9 100644
--- a/hydra/machines.scm
+++ b/hydra/machines.scm
@@ -54,6 +54,7 @@
 (define redhill
   (build-machine
     (name "redhill.guixsd.org")
+    (port 9022)
     (user "hydra")
     (system "armhf-linux")
     (private-key %openssh-private-key)