branch master updated: hydra: Comment out defunct ARMv7 node.

[Marius Bakke]

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

mbakke pushed a commit to branch master
in repository maintenance.

The following commit(s) were added to refs/heads/master by this push:
     new 258cce7  hydra: Comment out defunct ARMv7 node.
258cce7 is described below

commit 258cce73967d17ab558c6321ba69b52003cd436d
Author: Marius Bakke <address@hidden>
AuthorDate: Wed Mar 4 11:36:09 2020 +0100

    hydra: Comment out defunct ARMv7 node.
    
    * hydra/machines-for-berlin.scm (armv7): Disable 'hydra-slave1.netris.org'.
---
 hydra/machines-for-berlin.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/hydra/machines-for-berlin.scm b/hydra/machines-for-berlin.scm
index 8c412d8..a0460e0 100644
--- a/hydra/machines-for-berlin.scm
+++ b/hydra/machines-for-berlin.scm
@@ -233,7 +233,7 @@
     (system "armhf-linux")
     (host-key "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAILvy4tWBLfuBGB2Q8S5q0CeKLaD9w4hAG5PU/+nTD6e2 
root@BeagleBoard-X15"))
 
-   (build-machine
+   #;(build-machine
     (name "hydra-slave1.netris.org")
     (port 7275)
     (user "hydra")