commit | cf57ff8b99509a5a822f17e7338d6ccd616471f2 | [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 | 21bde92ff6d20ef2d3a2651fd729a1579232313b [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>