diff options
author | Mario Rodas <marsam@users.noreply.github.com> | 2023-05-22 13:31:11 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-05-22 13:31:11 -0500 |
commit | 9c5f1a0dc5a9860ff8eea7a8b8f905ec276354e1 (patch) | |
tree | 9eed1098f4cfa92ed3aaa12d17a59b807c60f10f /maintainers | |
parent | 1dd362f2226f1e8c4c1c2223ea1a59ec7dee9850 (diff) | |
parent | 4ed030571d358b170e863202a1daf7e04e65ab51 (diff) |
Merge pull request #233322 from seirl/master
maintainers: add seirl
Diffstat (limited to 'maintainers')
-rw-r--r-- | maintainers/maintainer-list.nix | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index 7c482fad314d5..3c3360eb6e7e6 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -14229,6 +14229,13 @@ github = "sei40kr"; githubId = 11665236; }; + seirl = { + name = "Antoine Pietri"; + email = "antoine.pietri1@gmail.com"; + github = "seirl"; + githubId = 4927883; + matrix = "@seirl:matrix.org"; + }; sellout = { email = "greg@technomadic.org"; github = "sellout"; |