[PATCH v4 19/83] buildman: Add an option to check maintainers

[Simon Glass]

Rather than using the -R option to get this report as a side effect, add
a dedicated option for it.

Disable CI for now as there are some missing maintainers, unfortunately.

Signed-off-by: Simon Glass <sjg at chromium.org>
---

(no changes since v3)

Changes in v3:
- Add new patch with an option to check maintainers
- Use the new --maintainer-check option in CI

 .azure-pipelines.yml        |  2 +-
 .gitlab-ci.yml              |  2 +-
 tools/buildman/boards.py    | 52 +++++++++++++++++++++++--------------
 tools/buildman/buildman.rst | 13 ++++++++++
 tools/buildman/cmdline.py   |  2 ++
 tools/buildman/control.py   | 13 ++++++++--
 tools/buildman/func_test.py |  6 +++--
 7 files changed, 64 insertions(+), 26 deletions(-)

Applied to u-boot-dm, thanks!