about summary refs log tree commit diff
path: root/maintainers
diff options
context:
space:
mode:
authorSandro Jäckel <sandro.jaeckel@gmail.com>2021-03-04 00:49:30 +0100
committerSandro Jäckel <sandro.jaeckel@gmail.com>2021-03-05 16:22:50 +0100
commitb62fef86bf23fe5aeea03fde6e9d3c9aa243255e (patch)
treed03f57bfea4ae51438c727b7ca881c2a1d76ee8d /maintainers
parentf1cef9acffc49c7abc673476153e06820a0e0a0c (diff)
maintainers: sort some maintainers
Diffstat (limited to 'maintainers')
-rw-r--r--maintainers/maintainer-list.nix36
1 files changed, 18 insertions, 18 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix
index 78fc353a8bf0f..b921406135895 100644
--- a/maintainers/maintainer-list.nix
+++ b/maintainers/maintainer-list.nix
@@ -1096,6 +1096,12 @@
     githubId = 1432730;
     name = "Benjamin Staffin";
   };
+  benneti = {
+    name = "Benedikt Tissot";
+    email = "benedikt.tissot@googlemail.com";
+    github = "benneti";
+    githubId = 11725645;
+  };
   bennofs = {
     email = "benno.fuenfstueck@gmail.com";
     github = "bennofs";
@@ -3095,6 +3101,12 @@
     githubId = 9959940;
     name = "Andreas Fehn";
   };
+  felixscheinost = {
+    name = "Felix Scheinost";
+    email = "felix.scheinost@posteo.de";
+    github = "felixscheinost";
+    githubId = 31761492;
+  };
   felixsinger = {
     email = "felixsinger@posteo.net";
     github = "felixsinger";
@@ -7255,6 +7267,12 @@
     githubId = 13225611;
     name = "Nicolas Martin";
   };
+  p3psi = {
+    name = "Elliot Boo";
+    email = "p3psi.boo@gmail.com";
+    github = "p3psi-boo";
+    githubId = 43925055;
+  };
   periklis = {
     email = "theopompos@gmail.com";
     github = "periklis";
@@ -10826,22 +10844,4 @@
     github = "zupo";
     githubId = 311580;
   };
-  felixscheinost = {
-    name = "Felix Scheinost";
-    email = "felix.scheinost@posteo.de";
-    github = "felixscheinost";
-    githubId = 31761492;
-  };
-  benneti = {
-    name = "Benedikt Tissot";
-    email = "benedikt.tissot@googlemail.com";
-    github = "benneti";
-    githubId = 11725645;
-  };
-  p3psi = {
-    name = "Elliot Boo";
-    email = "p3psi.boo@gmail.com";
-    github = "p3psi-boo";
-    githubId = 43925055;
-  };
 }