docs: update .all-contributorsrc

JoshuaKGoldberg · Jan 16, 2025 · 7c2fb6e · 7c2fb6e
1 parent ef366f6
commit 7c2fb6e
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.all-contributorsrc b/.all-contributorsrc
@@ -300,7 +300,8 @@
       "profile": "/~https://github.com/michaelfaith",
       "contributions": [
         "code",
-        "ideas"
+        "ideas",
+        "infra"
       ]
     }
   ],