Merge pull request #293747 from GGG-KILLER/ggg-maintainer

maintainers: add ggg and assign to dotnet team
This commit is contained in:
David McFarland 2024-03-06 08:48:56 -04:00 committed by GitHub
commit aa194f3efe
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 7 additions and 0 deletions

View File

@ -7042,6 +7042,12 @@
githubId = 37602871;
name = "Galois";
};
ggg = {
email = "gggkiller2@gmail.com";
github = "GGG-KILLER";
githubId = 5892127;
name = "GGG";
};
ggpeti = {
email = "ggpeti@gmail.com";
matrix = "@ggpeti:ggpeti.com";

View File

@ -188,6 +188,7 @@ with lib.maintainers; {
ivar
mdarocha
corngood
ggg
raphaelr
jamiemagee
anpin