From b93abbffa997ddb546545f861109c280af283f04 Mon Sep 17 00:00:00 2001
From: Christopher Hertel <mail@christopher-hertel.de>
Date: Thu, 10 Sep 2026 00:08:01 +0200
Subject: [PATCH] Removing Roman from PHP (#180)

Thanks @pronskiy for kicking this off and bringing people together!
---
 src/config/users.ts | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/src/config/users.ts b/src/config/users.ts
index b4acb8e..19bd3d6 100644
--- a/src/config/users.ts
+++ b/src/config/users.ts
@@ -756,10 +756,6 @@ export const MEMBERS: readonly Member[] = [
     lastName: 'Dewani',
     memberOf: [ROLE_IDS.REGISTRY_COLLABORATORS],
   },
-  {
-    github: 'pronskiy',
-    memberOf: [ROLE_IDS.PHP_SDK],
-  },
   {
     github: 'pwwpche',
     discord: '1226238847013228604',