[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
01/02: hydra: berlin: Remove commented sysadmin.
|
From: |
Ricardo Wurmus |
|
Subject: |
01/02: hydra: berlin: Remove commented sysadmin. |
|
Date: |
Fri, 13 Oct 2017 17:32:12 -0400 (EDT) |
rekado pushed a commit to branch master
in repository maintenance.
commit 0ff623f4f5270980f0a3a860c1115f4077b153d2
Author: Ricardo Wurmus <address@hidden>
Date: Thu Oct 12 03:02:44 2017 +0200
hydra: berlin: Remove commented sysadmin.
* hydra/berlin.scm (%sysadmins): Removed commented entry for bi-admin.
---
hydra/berlin.scm | 6 +-----
1 file changed, 1 insertion(+), 5 deletions(-)
diff --git a/hydra/berlin.scm b/hydra/berlin.scm
index 29d86d6..34a84b4 100644
--- a/hydra/berlin.scm
+++ b/hydra/berlin.scm
@@ -16,11 +16,7 @@
(ssh-public-key (local-file "keys/ssh/rekado.pub")))
(sysadmin (name "andreas")
(full-name "Andreas Enge")
- (ssh-public-key (local-file "keys/ssh/andreas.pub")))
- ;; (sysadmin (name "bi-admin")
- ;; (full-name "MDC admin")
- ;; (ssh-public-key (local-file "keys/ssh/bi-admin.pub")))
- ))
+ (ssh-public-key (local-file "keys/ssh/andreas.pub")))))
(define %gc-job