This is an automated email from the git hooks/post-receive script.
andreas pushed a commit to branch master
in repository maintenance.
The following commit(s) were added to refs/heads/master by this push:
new e45a5da hydra: bayfront: Remove user accounts.
e45a5da is described below
commit e45a5daa908756b509bff87e7afbde54e43d9041
Author: Andreas Enge <andr...@enge.fr>
AuthorDate: Sun Feb 19 19:29:09 2023 +0100
hydra: bayfront: Remove user accounts.
* hydra/bayfront.scm (%sysadmins): Remove accounts.
---
hydra/bayfront.scm | 8 --------
1 file changed, 8 deletions(-)
diff --git a/hydra/bayfront.scm b/hydra/bayfront.scm
index 9198bfd..d9c6395 100644
--- a/hydra/bayfront.scm
+++ b/hydra/bayfront.scm
@@ -27,14 +27,6 @@
(sysadmin (name "cbaines")
(full-name "Christopher Baines")
(ssh-public-key (local-file "keys/ssh/cbaines.pub")))
- (sysadmin (name "dannym")
- (full-name "Danny Milosavljevic")
- (ssh-public-key (local-file "keys/ssh/dannym.pub"))
- (restricted? #t))
- (sysadmin (name "efraim")
- (full-name "Efraim Flashner")
- (ssh-public-key (local-file "keys/ssh/efraim.pub"))
- (restricted? #t))
(sysadmin (name "ludo")
(full-name "Ludovic Courtès")
(ssh-public-key (local-file "keys/ssh/ludo.pub")))
