cafkafk/nixpkgs
cafkafk/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

Merge pull request #220906 from Alizter/ps/rr/maintainers__add_alizter

Browse source 
maintainers: add Alizter
This commit is contained in:
Ilan Joselevich 2023-03-13 01:58:49 +02:00 committed by GitHub
commit 13c264a4d0
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 7 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
maintainers/maintainer-list.nix
View file

@ -678,6 +678,12 @@
githubId = 36147;
name = "Alireza Meskin";
};
alizter = {
email = "alizter@gmail.com";
github = "Alizter";
githubId = 8614547;
name = "Ali Caglayan";
};
alkasm = {
email = "alexreynolds00@gmail.com";
github = "alkasm";

1
maintainers/team-list.nix
View file

@ -142,6 +142,7 @@ with lib.maintainers; {
# gares has no entry in the maintainers list
siraben
vbgl
alizter
];
scope = "Maintain the Coq theorem prover and related packages.";
shortName = "Coq";