branch master updated: hydra: bayfront: Remove user accounts.

[Andreas Enge]

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 <andreas@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")))