diff options
author | lassulus <lassulus@lassul.us> | 2020-08-20 22:20:00 +0200 |
---|---|---|
committer | lassulus <lassulus@lassul.us> | 2020-08-20 22:20:00 +0200 |
commit | 3f1d128a16fb7b6b260e8f4a76383915451cc694 (patch) | |
tree | 1dbf2f6c30fd5b377d736597efdb37523202e469 /krebs/3modules/external/default.nix | |
parent | 0b4329eb0a24e5f6e5935f6242c7087015fdf104 (diff) | |
parent | e3fdcdbadfababea9ae70e88846956ebc45e28a0 (diff) |
Merge remote-tracking branch 'mic92/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"; |