02/03: berlin: machines: Account for SSH tunnel to {sergei, dmitri}.

[Ludovic Courtès]

civodul pushed a commit to branch master
in repository maintenance.

commit 219c1dcd817720e4a1c692240804c2088161cdf2
Author: Ludovic Courtès <address@hidden>
Date:   Mon Sep 9 21:41:31 2019 +0200

    berlin: machines: Account for SSH tunnel to {sergei,dmitri}.
    
    * hydra/machines-for-berlin.scm (overdrive): Change name/port for
    {dmitri,sergei} to match the SSH tunnel.
---
 hydra/machines-for-berlin.scm | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

diff --git a/hydra/machines-for-berlin.scm b/hydra/machines-for-berlin.scm
index 3fdfd4e..010c405 100644
--- a/hydra/machines-for-berlin.scm
+++ b/hydra/machines-for-berlin.scm
@@ -192,10 +192,12 @@
           "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIIXfDYhBeVH0GenVp8PplaRF1jtNSOdLeNWf2k8G7K71 root@gnu")
          (parallel-builds 2))
 
+        ;; Note: Temporary SSH tunnel set up for {dmitri,sergei}.
         (build-machine
          ;; Dynamic IP.
-         (name "dmitri.tobias.gr")
-         (port 5551)
+         ;; (name "dmitri.tobias.gr")
+         ;; (port 5552)
+         (name "localhost") (port 2223)
          (user "hydra")
          (system "aarch64-linux")
          (host-key
@@ -204,8 +206,9 @@
 
         (build-machine
          ;; Dynamic IP.
-         (name "sergei.tobias.gr")
-         (port 5552)
+         ;; (name "sergei.tobias.gr")
+         ;; (port 5551)
+         (name "localhost") (port 2222)
          (user "hydra")
          (system "aarch64-linux")
          (host-key