maintainers: add mercury team

2023-05-25 14:36:16 -07:00
parent 33258207fa
commit c072d7867d
1 changed files with 9 additions and 0 deletions
@@ -556,6 +556,15 @@ with lib.maintainers; {
    shortName = "Minimal Bootstrap";
  };

+  mercury = {
+    members = [
+      _9999years
+      Gabriella439
+    ];
+    scope = "mercury.com engineers working on Haskell.";
+    shortName = "Mercury";
+  };
+
  mobile = {
    members = [
      samueldr