tree ec8b6006c017952b87336dadb6987785d1df870e
parent 21bde92ff6d20ef2d3a2651fd729a1579232313b
author John Tsichritzis <john.tsichritzis@arm.com> 1562925314 +0100
committer John Tsichritzis <john.tsichritzis@arm.com> 1562925984 +0100

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>