From 1193cb669e7dac0c03a42cd5cd1155cfe8a16514 Mon Sep 17 00:00:00 2001 From: Chai Bot Date: Mon, 12 Oct 2026 23:46:33 +0000 Subject: [PATCH] chore: remove obsolete owners entry Keep repository ownership lists aligned with current maintainership. Remove the former maintainer from all root ownership roles. --- OWNERS | 3 --- 1 file changed, 3 deletions(-) diff --git a/OWNERS b/OWNERS index d1a82284..ee6b90d3 100644 --- a/OWNERS +++ b/OWNERS @@ -1,5 +1,4 @@ reviewers: - - wanghaoran1988 - feichashao - MitaliBhalla - Tafhim @@ -16,7 +15,6 @@ reviewers: - BATMAN-JD approvers: - - wanghaoran1988 - feichashao - bmeng - typeid @@ -31,7 +29,6 @@ approvers: - BATMAN-JD maintainers: - - wanghaoran1988 - feichashao - MitaliBhalla - bmeng