branch master updated: hydra: berlin: Add Efraim Flashner as a sysadmin.

[Efraim Flashner]

This is an automated email from the git hooks/post-receive script.

efraim pushed a commit to branch master
in repository maintenance.

The following commit(s) were added to refs/heads/master by this push:
     new 086e95d  hydra: berlin: Add Efraim Flashner as a sysadmin.
086e95d is described below

commit 086e95d5e127d8ce32d28c92790d7f4af7d19de1
Author: Efraim Flashner <efraim@flashner.co.il>
AuthorDate: Tue May 23 10:25:49 2023 +0300

    hydra: berlin: Add Efraim Flashner as a sysadmin.
    
    * hydra/berlin.scm (%sysadmins): Add Efraim Flashner.
---
 hydra/berlin.scm | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/hydra/berlin.scm b/hydra/berlin.scm
index 9e036ef..e5aa73d 100644
--- a/hydra/berlin.scm
+++ b/hydra/berlin.scm
@@ -63,7 +63,10 @@
                   (ssh-public-key (local-file "keys/ssh/maxim.pub")))
         (sysadmin (name "arunisaac")
                   (full-name "Arun Isaac")
-                  (ssh-public-key (local-file "keys/ssh/arunisaac.pub")))))
+                  (ssh-public-key (local-file "keys/ssh/arunisaac.pub")))
+        (sysadmin (name "efraim")
+                  (full-name "Efraim Flashner")
+                  (ssh-public-key (local-file "keys/ssh/efraim.pub"))))
 
 (include "nginx/berlin.scm")
 (include "website.scm")