andreas pushed a commit to branch master
in repository maintenance.
commit 5de3b287aaf2ec3debe02b17aa028f6f119e6355
Author: Andreas Enge <andr...@enge.fr>
AuthorDate: Fri Feb 10 14:27:35 2023 +0100
hydra: bayfront: Remove interns and their advisors from sysadmins.
* hydra/bayfront.scm (%sysadmins): Remove accounts.
---
hydra/bayfront.scm | 16 +---------------
1 file changed, 1 insertion(+), 15 deletions(-)
diff --git a/hydra/bayfront.scm b/hydra/bayfront.scm
index bd3283d..ac950c7 100644
--- a/hydra/bayfront.scm
+++ b/hydra/bayfront.scm
@@ -39,10 +39,6 @@
(full-name "Efraim Flashner")
(ssh-public-key (local-file "keys/ssh/efraim.pub"))
(restricted? #t))
- (sysadmin (name "kuba")
- (full-name "Jakub Kądziołka")
- (ssh-public-key (local-file "keys/ssh/kuba.pub"))
- (restricted? #t))
(sysadmin (name "roptat")
(full-name "Julien Lepiller")
(ssh-public-key (local-file "keys/ssh/roptat.pub"))
@@ -55,17 +51,7 @@
(ssh-public-key (local-file "keys/ssh/rekado.pub")))
(sysadmin (name "mathieu")
(full-name "Mathieu Othacehe")
- (ssh-public-key (local-file "keys/ssh/mathieu.pub")))
-
- ;; Not a sysadmin in any sense, but has access for the length of their
- ;; Outreachy internship to speed up their work. nckx will help them.
- (sysadmin (name "raghavgururajan")
- (full-name "Raghav Gururajan")
- (ssh-public-key (local-file "keys/ssh/raghavgururajan.pub"))
- (restricted? #t))
- (sysadmin (name "nckx")
- (full-name "Tobias Geerinckx-Rice")
- (ssh-public-key (local-file "keys/ssh/nckx.pub")))))
+ (ssh-public-key (local-file "keys/ssh/mathieu.pub")))))
(define %nginx-deploy-hook
;; Hook that restarts nginx when a new certificate is deployed.
