Patch Set 3:

Patch Set 3: -Code-Review

I double checked, and our lint scripts are executed in the pre-commit hook (but only the "stable" ones), which is run before the commit-msg hook that adds Change-Id.

So what's the intended behavior for this?

Meaning the file should be renamed (to lint-stable-024-change-id), in order to be run from jenkins?

No, jenkins runs both stable and extended (see util/testing/Makefile.inc:93) while pre-commit only runs stable (where this would break: Change-Id isn't added yet). So this is fine.

Please state the intent that this is for Jenkins' sanity tests in the commit message, because it appears to me that folks were wondering how this affects "git commit".

Patch set 3:Code-Review +1

View Change

To view, visit change 33884. To unsubscribe, or for help writing mail filters, visit settings.

Gerrit-Project: coreboot
Gerrit-Branch: master
Gerrit-Change-Id: I67b9f134500bb596ae5790b68fe9f27e2fa2cfb4
Gerrit-Change-Number: 33884
Gerrit-PatchSet: 3
Gerrit-Owner: Idwer Vollering <vidwer@gmail.com>
Gerrit-Reviewer: Angel Pons <th3fanbus@gmail.com>
Gerrit-Reviewer: HAOUAS Elyes <ehaouas@noos.fr>
Gerrit-Reviewer: Idwer Vollering <vidwer@gmail.com>
Gerrit-Reviewer: Martin Roth <martinroth@google.com>
Gerrit-Reviewer: Nico Huber <nico.h@gmx.de>
Gerrit-Reviewer: Patrick Georgi <pgeorgi@google.com>
Gerrit-Reviewer: Paul Menzel <paulepanter@users.sourceforge.net>
Gerrit-Reviewer: build bot (Jenkins) <no-reply@coreboot.org>
Gerrit-Comment-Date: Thu, 12 Dec 2019 16:07:51 +0000
Gerrit-HasComments: No
Gerrit-Has-Labels: Yes
Gerrit-MessageType: comment