keys: Add raito's keys

2023-05-22 17:18:57 +02:00 · 2023-05-22 17:18:57 +02:00 · 0eb81321b2
parent 8a65ff477d
commit 0eb81321b2
2 changed files with 6 additions and 1 deletions
--- a/keys/raito.keys
+++ b/keys/raito.keys
--- a/meta/members.nix
+++ b/meta/members.nix
@ -9,12 +9,17 @@ let
      name = "Tom Hubrecht";
      email = "tom.hubrecht@dgnum.eu";
    };
+
+    raito = {
+      name = "Raito Bezarius";
+      email = "raito@dgnume.eu";
+    };
  };

  groups = {
    root = [ "thubrecht" ];

-    web = [ "mdebray" ];
+    web = [ "mdebray" "raito" ];
  };
 in