02/02: hydra: Temporarily remove hydra-guix-125.

[Ricardo Wurmus]

rekado pushed a commit to branch master
in repository maintenance.

commit dc6cce553a280a8851210dd20bf6a6e9ba1fa146
Author: Ricardo Wurmus <rekado@elephly.net>
AuthorDate: Tue Jun 16 22:07:39 2020 +0200

    hydra: Temporarily remove hydra-guix-125.
    
    * hydra/berlin-nodes.scm (nodes),
    * hydra/machines-for-berlin.scm (hosts): Comment record for
    hydra-guix-125.
---
 hydra/berlin-nodes.scm        | 2 ++
 hydra/machines-for-berlin.scm | 2 ++
 2 files changed, 4 insertions(+)

diff --git a/hydra/berlin-nodes.scm b/hydra/berlin-nodes.scm
index 2e81c09..58b09eb 100644
--- a/hydra/berlin-nodes.scm
+++ b/hydra/berlin-nodes.scm
@@ -103,6 +103,8 @@
      "141.80.167.181"
      "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIODiKP7qIkkDeqvzKG2JsrDlNRe3CTN+icGgQ1J5ZUP+"
      128)
+       ;; This is the new head node
+       #;
     (125
      "141.80.167.182"
      "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIPrlasUtgZgKfJ0oNhBQx/2QIQ+J+jbAT842VoJlBhor"
diff --git a/hydra/machines-for-berlin.scm b/hydra/machines-for-berlin.scm
index a213b7b..3361ace 100644
--- a/hydra/machines-for-berlin.scm
+++ b/hydra/machines-for-berlin.scm
@@ -103,6 +103,8 @@
      "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIODiKP7qIkkDeqvzKG2JsrDlNRe3CTN+icGgQ1J5ZUP+"
      128)
     ;; hydra-guix-125
+       ;; This is the new head node
+       #;
     ("141.80.167.182"
      "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIPrlasUtgZgKfJ0oNhBQx/2QIQ+J+jbAT842VoJlBhor"
      192)