From 09e06f700aed8a63c7f64c3dfd013df59000606b Mon Sep 17 00:00:00 2001
From: Christopher Hertel <mail@christopher-hertel.de>
Date: Tue, 8 Sep 2026 00:05:32 +0200
Subject: [PATCH] Removing Roman from PHP

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 85db06e..4fde59a 100644
--- a/src/config/users.ts
+++ b/src/config/users.ts
@@ -747,10 +747,6 @@ export const MEMBERS: readonly Member[] = [
     lastName: 'Dewani',
     memberOf: [ROLE_IDS.REGISTRY_COLLABORATORS],
   },
-  {
-    github: 'pronskiy',
-    memberOf: [ROLE_IDS.PHP_SDK],
-  },
   {
     github: 'pwwpche',
     discord: '1226238847013228604',