From 5c353412a25fd46c5077e5cf92ddfd6532eb46cb Mon Sep 17 00:00:00 2001
From: Lynne <dev@lynne.ee>
Date: Thu, 15 Dec 2022 02:05:00 +0100
Subject: [PATCH] MAINTAINERS: add a separate list for those with push access

This list is incomplete, and just contains those I could remember
while looking at the recent git log.
We may complete the list at a later date.

This makes it such that those who add themselves to MAINTAINERS do not
get push access by default, but rather, they have to request it
explicitly in a different commit. This used to be the situation
before it was changed at the start of this year.
---
 MAINTAINERS | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/MAINTAINERS b/MAINTAINERS
index 48e2ec4fd4..f03327702a 100644
--- a/MAINTAINERS
+++ b/MAINTAINERS
@@ -552,6 +552,21 @@ ADI/Blackfin DSP                        Marc Hoffman
 Sparc                                   Roman Shaposhnik
 OS/2                                    KO Myung-Hun
 
+Developers with git write access
+================================
+Paul B Mahol
+Michael Niedermayer
+James Almer
+Lynne
+Martin Storsjo
+Hendrik Leppkes
+Philip Langdale
+Clément Bœsch
+Niklas Haas
+Timo Rothenpieler
+Andreas Rheinhardt
+Ronald Bultje
+(this list is incomplete)
 
 Developers with git write access who are currently not maintaining any specific part
 ====================================================================================
-- 
2.38.1