diff options
author | Martin Roth <martin@coreboot.org> | 2022-03-22 16:27:12 -0600 |
---|---|---|
committer | Martin Roth <martinroth@google.com> | 2022-04-12 20:39:50 +0000 |
commit | a3cd3066ba8176b61a0ae917105bf13b513232fa (patch) | |
tree | 320fff104f39d3853b59f4d581e7cf52cb6e06d9 | |
parent | cfe92537739f635fe9948128ff4dc2951d6fd263 (diff) |
checkpatch.conf: Disable gerrit change ID for coreboot
The GERRIT_CHANGE_ID Error is useful for the linux flow, but since
coreboot uses gerrit, giving an error on the ID doesn't make sense.
Change-Id: I7f6efb5559027ed9497ee85497bb4b4e786f9901
Signed-off-by: Martin Roth <martin@coreboot.org>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/63030
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Elyes Haouas <ehaouas@noos.fr>
Reviewed-by: Felix Singer <felixsinger@posteo.net>
Reviewed-by: Subrata Banik <subratabanik@google.com>
-rw-r--r-- | .checkpatch.conf | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.checkpatch.conf b/.checkpatch.conf index 95019d116e..dbb1aaa744 100644 --- a/.checkpatch.conf +++ b/.checkpatch.conf @@ -22,6 +22,7 @@ --ignore PRINTK_WITHOUT_KERN_LEVEL --ignore ASSIGN_IN_IF --ignore UNNECESSARY_ELSE +--ignore GERRIT_CHANGE_ID # FILE_PATH_CHANGES seems to not be working correctly. It will # choke on added / deleted files even if the MAINTAINERS file |