02/03: hydra: Disable node 141.80.167.156.

[Ricardo Wurmus]

rekado pushed a commit to branch master
in repository maintenance.

commit b8eb9a0e2670f5f508d4b0a61cb39397cf13b518
Author: Ricardo Wurmus <address@hidden>
Date:   Sat Dec 16 16:23:28 2017 +0100

    hydra: Disable node 141.80.167.156.
    
    * hydra/machines-for-berlin.scm (hosts): Comment entry for
    node 141.80.167.156.
---
 hydra/machines-for-berlin.scm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/hydra/machines-for-berlin.scm b/hydra/machines-for-berlin.scm
index 5fbe00c..724d73c 100644
--- a/hydra/machines-for-berlin.scm
+++ b/hydra/machines-for-berlin.scm
@@ -50,8 +50,8 @@
      "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIJqq+CxIa2bVf7a9hGfyt3kQcEaZhumBa5nPnBq5vnnR")
     ("141.80.167.155"
      "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIMV8v+fL04JUNJK5JLiXFwyFDiXyRkcBqJYCUgTAP0it")
-    ("141.80.167.156"
-     "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIA+ZoD9lcmt0zBZcc8keBb8wSXgfoK5zk4s6Oteg27wb")
+    ;; ("141.80.167.156"
+    ;;  "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIA+ZoD9lcmt0zBZcc8keBb8wSXgfoK5zk4s6Oteg27wb")
     ("141.80.167.157"
      "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIGquqUVY3cNMomwd4lfgXPRvxJZvvYa7ud67g01b/YTT")))