Re: [PATCH] MAINTAINERS: Add the CI-related doc files to the CI section

29.09.2023 16:16, Thomas Huth: The docs/devel/ci* were not covered yet, add them to MAINTAINERS so that the right people are put on CC: for related patches. Signed-off-by: Thomas Huth Applied to my trivial-patches tree, thanks! /mjt

Re: [PATCH] MAINTAINERS: Add the CI-related doc files to the CI section

On 29/9/23 15:16, Thomas Huth wrote: The docs/devel/ci* were not covered yet, add them to MAINTAINERS so that the right people are put on CC: for related patches. Signed-off-by: Thomas Huth --- MAINTAINERS | 1 + 1 file changed, 1 insertion(+) Reviewed-by: Philippe Mathieu-Daudé

Re: [PATCH] MAINTAINERS: Add the CI-related doc files to the CI section

Thomas Huth writes: > The docs/devel/ci* were not covered yet, add them to MAINTAINERS > so that the right people are put on CC: for related patches. > > Signed-off-by: Thomas Huth Reviewed-by: Alex Bennée > --- > MAINTAINERS | 1 + > 1 file changed, 1 insertion(+) > > diff --git a/MAINTAI

[PATCH] MAINTAINERS: Add the CI-related doc files to the CI section

The docs/devel/ci* were not covered yet, add them to MAINTAINERS so that the right people are put on CC: for related patches. Signed-off-by: Thomas Huth --- MAINTAINERS | 1 + 1 file changed, 1 insertion(+) diff --git a/MAINTAINERS b/MAINTAINERS index 7ecf3fbc2d..3914bbd85b 100644 --- a/MAINTAI