| commit | 455c038abc3a36afa3d4ba11fdcda80ed1389e91 | [log] [tgz] |
|---|---|---|
| author | John Tsichritzis <john.tsichritzis@arm.com> | Fri Jul 12 10:55:14 2019 +0100 |
| committer | John Tsichritzis <john.tsichritzis@arm.com> | Fri Jul 12 11:06:24 2019 +0100 |
| tree | ec8b6006c017952b87336dadb6987785d1df870e | |
| parent | 1465bbb6d4937af24159ebc337662e30dab8335d [diff] |
Re-apply GIT_COMMIT_ID check for checkpatch As it turns out, Gerrit's merge commits don't always respect that format so these mistakes have to be ignored as false positives. Change-Id: I4e38d9c34c95588e7916fba4c154f017d8c92dec Signed-off-by: John Tsichritzis <john.tsichritzis@arm.com>