Merge pull request #233322 from seirl/master

maintainers: add seirl
This commit is contained in:
Mario Rodas 2023-05-22 13:31:11 -05:00 committed by GitHub
commit 9c5f1a0dc5
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -14229,6 +14229,13 @@
github = "sei40kr"; github = "sei40kr";
githubId = 11665236; githubId = 11665236;
}; };
seirl = {
name = "Antoine Pietri";
email = "antoine.pietri1@gmail.com";
github = "seirl";
githubId = 4927883;
matrix = "@seirl:matrix.org";
};
sellout = { sellout = {
email = "greg@technomadic.org"; email = "greg@technomadic.org";
github = "sellout"; github = "sellout";