aboutsummaryrefslogtreecommitdiff
path: root/maintainers
diff options
context:
space:
mode:
authorrnhmjoj <rnhmjoj@inventati.org>2019-08-29 13:30:59 +0200
committerrnhmjoj <rnhmjoj@inventati.org>2019-08-29 13:33:25 +0200
commit38aa8faa3061d0e515dc181225cc39c250416313 (patch)
tree872f0a4c09386aaf7081600e8a85a98ef8bbd92b /maintainers
parentb6d906732c823b0e5f55b3a9309a9cc120c977aa (diff)
maintainers: update rnhmjoj information
Diffstat (limited to 'maintainers')
-rw-r--r--maintainers/maintainer-list.nix8
1 files changed, 7 insertions, 1 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix
index 397e15c3f06..ed2ce773983 100644
--- a/maintainers/maintainer-list.nix
+++ b/maintainers/maintainer-list.nix
@@ -5340,10 +5340,16 @@
name = "Richard Lupton";
};
rnhmjoj = {
- email = "micheleguerinirocco@me.com";
+ email = "rnhmjoj@inventati.org";
github = "rnhmjoj";
githubId = 2817565;
name = "Michele Guerini Rocco";
+ keys =
+ [
+ { longkeyid = "ed25519/0xBFBAF4C975F76450";
+ fingerprint = "92B2 904F D293 C94D C4C9 3E6B BFBA F4C9 75F7 6450";
+ }
+ ];
};
rob = {
email = "rob.vermaas@gmail.com";