01/01: hydra: bayfront: Add Efraim to sysadmin list.

[Andreas Enge]

andreas pushed a commit to branch master
in repository maintenance.

commit f07ef4d14ae6953d910dd20745b5c6310f79df84
Author: Andreas Enge <address@hidden>
Date:   Fri Feb 1 12:55:56 2019 +0100

    hydra: bayfront: Add Efraim to sysadmin list.
    
    * hydra/bayfront.scm (%sysadmins): Add efraim.
---
 hydra/bayfront.scm | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/hydra/bayfront.scm b/hydra/bayfront.scm
index 3bda854..a75635d 100644
--- a/hydra/bayfront.scm
+++ b/hydra/bayfront.scm
@@ -15,6 +15,9 @@
         (sysadmin (name "dannym")
                   (full-name "Danny Milosavljevic")
                   (ssh-public-key (local-file "keys/ssh/dannym.pub")))
+        (sysadmin (name "efraim")
+                  (full-name "Efraim Flashner")
+                  (ssh-public-key (local-file "keys/ssh/efraim.pub")))
         (sysadmin (name "rekado")
                   (full-name "Ricardo Wurmus")
                   (ssh-public-key (local-file "keys/ssh/rekado.pub")))))