Merge pull request #245907 from deshaw/update-deshaw-team

Update deshaw team
This commit is contained in:
Nick Cao
2023-07-28 18:21:44 -06:00
committed by GitHub
2 changed files with 15 additions and 2 deletions
+12
View File
@@ -3909,6 +3909,12 @@
githubId = 75067;
name = "Daniel Duan";
};
de11n = {
email = "nixpkgs-commits@deshaw.com";
github = "de11n";
githubId = 130508846;
name = "Elliot Cameron";
};
dearrude = {
name = "Ebrahim Nejati";
email = "dearrude@tfwno.gf";
@@ -7237,6 +7243,12 @@
fingerprint = "5CB5 9AA0 D180 1997 2FB3 E0EC 943A 1DE9 372E BE4E";
}];
};
invokes-su = {
email = "nixpkgs-commits@deshaw.com";
github = "invokes-su";
githubId = 88038050;
name = "Souvik Sen";
};
ionutnechita = {
email = "ionut_n2001@yahoo.com";
github = "ionutnechita";
+3 -2
View File
@@ -193,10 +193,11 @@ with lib.maintainers; {
deshaw = {
# Verify additions to this team with at least one already existing member of the team.
members = [
limeytexan
de11n
invokes-su
];
scope = "Group registration for D. E. Shaw employees who collectively maintain packages.";
shortName = "Shaw employees";
shortName = "D. E. Shaw employees";
};
determinatesystems = {