[S] Change in coreboot[master]: util/lint/kconfig_lint: Exclude site-local directory by default - coreboot-gerrit

10 Aug 2023


      Attention is currently required from: Martin L Roth, Nico Huber.
Matt DeVillier has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/77138?usp=email )
Change subject: util/lint/kconfig_lint: Exclude site-local directory by default
......................................................................
Patch Set 1: Code-Review+1
-- 
To view, visit https://review.coreboot.org/c/coreboot/+/77138?usp=email
To unsubscribe, or for help writing mail filters, visit https://review.coreboot.org/settings

Gerrit-Project: coreboot
Gerrit-Branch: master
Gerrit-Change-Id: I95efa3e7b2cbb84e5c84d263222d8e914626d314
Gerrit-Change-Number: 77138
Gerrit-PatchSet: 1
Gerrit-Owner: Martin L Roth gaumless@gmail.com
Gerrit-Reviewer: Matt DeVillier matt.devillier@gmail.com
Gerrit-Reviewer: Nico Huber nico.h@gmx.de
Gerrit-Reviewer: build bot (Jenkins) no-reply@coreboot.org
Gerrit-Attention: Nico Huber nico.h@gmx.de
Gerrit-Attention: Martin L Roth gaumless@gmail.com
Gerrit-Comment-Date: Thu, 10 Aug 2023 16:37:43 +0000
Gerrit-HasComments: No
Gerrit-Has-Labels: Yes
Gerrit-MessageType: comment