Merge pull request #82900 from notbandali/master

maintainers: update entry for notbandali (previously aminb)
This commit is contained in:
Maximilian Bosch 2020-03-29 00:54:54 +01:00 committed by GitHub
commit fd99cb9edd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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 ];
}; };
}; };