maintainers: add seirl

2023-05-22 01:17:31 +02:00
parent 28c184e5a8
commit 4ed030571d
1 changed files with 7 additions and 0 deletions
@@ -14217,6 +14217,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";