update .all-contributorsrc [skip ci]

Ritikraja07 · Feb 4, 2023 · 7ec538d · 7ec538d
1 parent 95dda3e
commit 7ec538d
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/.all-contributorsrc b/.all-contributorsrc
@@ -642,6 +642,15 @@
       "contributions": [
         "doc"
       ]
+    },
+    {
+      "login": "Ibrahim-Benkhedda",
+      "name": "Ibrahim Ben",
+      "avatar_url": "https://avatars.githubusercontent.com/u/63601488?v=4",
+      "profile": "https://github.com/Ibrahim-Benkhedda",
+      "contributions": [
+        "doc"
+      ]
     }
   ],
   "contributorsPerLine": 4,