diff options
author | zx9w <ilmu@rishi.is> | 2019-06-25 17:37:56 +0000 |
---|---|---|
committer | lassulus <lassulus@lassul.us> | 2019-06-25 20:42:55 +0200 |
commit | f58c0e336659fc85f16dc0852dfd051e593ec2c5 (patch) | |
tree | 2f3ba996e7c3b2c18ea03cf9462c98185f791a12 | |
parent | 0820daacaaf47d040307e62161e50204c783b6da (diff) |
external: Added user ilmu, and email.
-rw-r--r-- | krebs/3modules/external/default.nix | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/krebs/3modules/external/default.nix b/krebs/3modules/external/default.nix index d734e38ad..7e8b2e745 100644 --- a/krebs/3modules/external/default.nix +++ b/krebs/3modules/external/default.nix @@ -520,6 +520,9 @@ in { mail = "dickbutt@excogitation.de"; pubkey = ssh-for "exco"; }; + ilmu = { + mail = "ilmu@rishi.is"; + }; jan = { mail = "jan.heidbrink@posteo.de"; }; |