tree d06f24a18b1f2c81bdfe5d2f8730bb585ebda9f8
parent b97e6f713e1e2891b7ea8b76b34cfb24a2d74f64
author Patrick Georgi <pgeorgi@google.com> 1615838825 +0100
committer Patrick Georgi <pgeorgi@google.com> 1618513680 +0000

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>