diff options
| author | Simon Glass <sjg@chromium.org> | 2023-07-19 17:48:27 -0600 |
|---|---|---|
| committer | Simon Glass <sjg@chromium.org> | 2023-07-24 09:34:10 -0600 |
| commit | 1b21842eab660ab1f80b89057abab99473b3bb5a (patch) | |
| tree | 9dbed46d2fe2543ec7bb6f320619f576b20ec385 /tools/buildman/main.py | |
| parent | 9a7cc8121f974582d3f07201b3e119e0d7c91559 (diff) | |
buildman: Add an option to check maintainers
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@chromium.org>
Diffstat (limited to 'tools/buildman/main.py')
0 files changed, 0 insertions, 0 deletions