diff --git a/.all-contributorsrc b/.all-contributorsrc
index 258304dc..6c533c92 100644
--- a/.all-contributorsrc
+++ b/.all-contributorsrc
@@ -867,7 +867,8 @@
       "avatar_url": "https://avatars.githubusercontent.com/u/9488079?v=4",
       "profile": "https://github.com/didiermichel",
       "contributions": [
-        "doc"
+        "doc",
+        "infra"
       ]
     },
     {