diff options
author | tv <tv@krebsco.de> | 2020-09-08 22:19:15 +0200 |
---|---|---|
committer | tv <tv@krebsco.de> | 2020-09-08 22:19:15 +0200 |
commit | f3aac671f823063f225096984ff8644190cf9b91 (patch) | |
tree | c33c4e9d8da1ba419541950f110f4b4dfbf8155b /krebs/3modules/external/default.nix | |
parent | 6fbbf7e6170f6a1ba42c5dcecd11ca67c6bc5afd (diff) | |
parent | 549598bfd9cf6e94f8bb83ebbcc17400069f1198 (diff) |
Merge remote-tracking branch 'prism/master'
Diffstat (limited to 'krebs/3modules/external/default.nix')
-rw-r--r-- | krebs/3modules/external/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/krebs/3modules/external/default.nix b/krebs/3modules/external/default.nix index 082dfd80f..e1667cb68 100644 --- a/krebs/3modules/external/default.nix +++ b/krebs/3modules/external/default.nix @@ -465,9 +465,9 @@ in { mail = "kieran.meinhardt@gmail.com"; pubkey = ssh-for "kmein"; }; - Mic92 = { + mic92 = { mail = "joerg@thalheim.io"; - pubkey = ssh-for "Mic92"; + pubkey = ssh-for "mic92"; }; qubasa = { mail = "luis.nixos@gmail.com"; |