tree 3c83c3e0e8b9588ab48e4bd0db53294a2544eff5
parent 5930eadbe5d8d4c3f15fd910476f72cd5bf86f44
author Juan Castillo <juan.castillo@arm.com> 1426083713 +0000
committer Juan Castillo <juan.castillo@arm.com> 1426088759 +0000

checkpatch: ignore GIT_COMMIT_ID

By default, the checkpatch script requires that commit references
included in commit messages follow a predefined format. Github
merge commits do not follow this convention, causing the code
style test to fail when a new pull request is created.

This patch adds the ignore GIT_COMMIT_ID option to the checkpatch
parameters. This flag indicates the tool to ignore the commit
message format.

Change-Id: I37133cc5cf803f664b8ff00f62d458b39f06918c