maintainers: update entry for notbandali (previously aminb)

This commit is contained in:
Amin Bandali 2020-03-18 20:49:25 -04:00
parent fbebd5f2fa
commit f4a7afe471
No known key found for this signature in database
GPG Key ID: 8B44A0CDC7B956F2
2 changed files with 9 additions and 4 deletions

View File

@ -412,10 +412,15 @@
githubId = 20530052; githubId = 20530052;
name = "Andrew Miloradovsky"; name = "Andrew Miloradovsky";
}; };
aminb = { notbandali = {
email = "amin@aminb.org";
github = "aminb";
name = "Amin Bandali"; name = "Amin Bandali";
email = "bandali@gnu.org";
github = "notbandali";
githubId = 1254858;
keys = [{
longkeyid = "rsa4096/0xA21A020248816103";
fingerprint = "BE62 7373 8E61 6D6D 1B3A 08E8 A21A 0202 4881 6103";
}];
}; };
aminechikhaoui = { aminechikhaoui = {
email = "amine.chikhaoui91@gmail.com"; email = "amine.chikhaoui91@gmail.com";

View File

@ -45,7 +45,7 @@ let generic = { major, version, src }:
downloadPage = http://alloytools.org/download.html; downloadPage = http://alloytools.org/download.html;
license = licenses.mit; license = licenses.mit;
platforms = platforms.linux; platforms = platforms.linux;
maintainers = with maintainers; [ aminb ]; maintainers = with maintainers; [ notbandali ];
}; };
}; };