branch master updated: hydra: berlin-nodes: Enable node 125.

[Ricardo Wurmus]

This is an automated email from the git hooks/post-receive script.

rekado pushed a commit to branch master
in repository maintenance.

The following commit(s) were added to refs/heads/master by this push:
     new 9ca0098  hydra: berlin-nodes: Enable node 125.
9ca0098 is described below

commit 9ca009815fa681c35e0a7854c1c6f4079c1c7f90
Author: Ricardo Wurmus <rekado@elephly.net>
AuthorDate: Tue Dec 21 22:08:10 2021 +0100

    hydra: berlin-nodes: Enable node 125.
    
    * hydra/berlin-nodes.scm (nodes): Update node 125 and uncomment.
---
 hydra/berlin-nodes.scm | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/hydra/berlin-nodes.scm b/hydra/berlin-nodes.scm
index 59d8d23..57b3202 100644
--- a/hydra/berlin-nodes.scm
+++ b/hydra/berlin-nodes.scm
@@ -99,12 +99,12 @@
      "141.80.167.181"
      "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIODiKP7qIkkDeqvzKG2JsrDlNRe3CTN+icGgQ1J5ZUP+"
      128)
-    ;; This is the new head node
-    #;
+    ;; This is the former head node.  What used to be node 125 is now
+    ;; the new head.
     (125
-    "141.80.167.182"
-    "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIPrlasUtgZgKfJ0oNhBQx/2QIQ+J+jbAT842VoJlBhor"
-    192)
+     "141.80.167.182"
+     "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIPrlasUtgZgKfJ0oNhBQx/2QIQ+J+jbAT842VoJlBhor"
+     256)
     (126
      "141.80.167.183"
      "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIIUprP1E2cRkMrwBnl1FkeCQ5UhZRin6dKQrB9p4WrV6"