diff options
author | Patrick Georgi <pgeorgi@google.com> | 2021-03-15 21:07:05 +0100 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2021-04-15 19:08:00 +0000 |
commit | 39891c00da70187d1046c9b6cbb966ed450953b0 (patch) | |
tree | d06f24a18b1f2c81bdfe5d2f8730bb585ebda9f8 /configs | |
parent | b97e6f713e1e2891b7ea8b76b34cfb24a2d74f64 (diff) |
checkpatch_json: Mark robotic comments as robotic
Gerrit now knows to differentiate between "regular" comments and
"robot" comments, with some later changes to the UI in the pipeline
(e.g. to filter out robot messages)
Change-Id: I3a545d1cf6c04b331964becd2b24eb38018394eb
Signed-off-by: Patrick Georgi <pgeorgi@google.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/51504
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Reviewed-by: Paul Menzel <paulepanter@mailbox.org>
Diffstat (limited to 'configs')
0 files changed, 0 insertions, 0 deletions