infra team -> infra

nix-open-org · Feb 22, 2024 · a758574 · a758574
1 parent 9689214
commit a758574
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/data.nix b/data.nix
@@ -12,11 +12,11 @@
           zone = "nixos.org";
         }
       ];
-      owner = "infra team";
+      owner = "infra";
     };
   };
   teams = {
-    "infra team" = {
+    infra = {
       name = "Infra team";
       description = ''
         This is the infra team