MAINTAINERS: Add the CI-related doc files to the CI section
commit145af2779c30d5a74c252b6146fa83e8d8120786
authorThomas Huth <thuth@redhat.com>
Fri, 29 Sep 2023 13:16:36 +0000 (29 15:16 +0200)
committerMichael Tokarev <mjt@tls.msk.ru>
Wed, 11 Oct 2023 21:37:39 +0000 (12 00:37 +0300)
treef35ebc66cd7a564c3dff56ba1642199f4847db2c
parent63fc07233e7939d595ee4e8e24710c637b9785c0
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 <thuth@redhat.com>
Reviewed-by: Alex Bennée <alex.bennee@linaro.org>
Reviewed-by: Philippe Mathieu-Daudé <philmd@linaro.org>
Signed-off-by: Michael Tokarev <mjt@tls.msk.ru>
MAINTAINERS