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