diff options
| author | John Tsichritzis <john.tsichritzis@arm.com> | 2019-07-12 10:55:14 +0100 |
|---|---|---|
| committer | John Tsichritzis <john.tsichritzis@arm.com> | 2019-07-12 11:06:24 +0100 |
| commit | cf57ff8b99509a5a822f17e7338d6ccd616471f2 (patch) | |
| tree | ec8b6006c017952b87336dadb6987785d1df870e /docs | |
| parent | 21bde92ff6d20ef2d3a2651fd729a1579232313b (diff) | |
| download | platform_external_arm-trusted-firmware-cf57ff8b99509a5a822f17e7338d6ccd616471f2.tar.gz platform_external_arm-trusted-firmware-cf57ff8b99509a5a822f17e7338d6ccd616471f2.tar.bz2 platform_external_arm-trusted-firmware-cf57ff8b99509a5a822f17e7338d6ccd616471f2.zip | |
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>
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions