maintainers: add gpg key for mic92

5 years ago · 04ee7db38b
parent d4957cc98e
commit 04ee7db38b
1 changed files with 5 additions and 0 deletions
--- a/maintainers/maintainer-list.nix
+++ b/maintainers/maintainer-list.nix
@ -2886,6 +2886,11 @@
    email = "joerg@thalheim.io";
    github = "mic92";
    name = "Jörg Thalheim";
+    keys = [{
+      # compare with https://keybase.io/Mic92
+      longkeyid = "rsa4096/0x003F2096411B5F92";
+      fingerprint = "3DEE 1C55 6E1C 3DC5 54F5  875A 003F 2096 411B 5F92";
+    }];
  };
  michaelpj = {
    email = "michaelpj@gmail.com";