From 3aab6f5d9b99778df0673696cc4a42e83ff2f53a Mon Sep 17 00:00:00 2001 From: Richard Brooksby Date: Sat, 7 Jan 2023 19:54:15 +0000 Subject: [PATCH] Pnj pointed out that trainee integrators (people who merge stuff) should be in the readership. --- mps/procedure/pull-request-merge.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mps/procedure/pull-request-merge.rst b/mps/procedure/pull-request-merge.rst index eb7a77230d3..17472197e91 100644 --- a/mps/procedure/pull-request-merge.rst +++ b/mps/procedure/pull-request-merge.rst @@ -7,7 +7,7 @@ Memory Pool System pull request merge procedure :date: 2023-01-07 :confidentiality: public :copyright: See `C. Copyright and License`_ -:readership: MPS developers +:readership: MPS developers, trainee integrators :status: draft