[dpdk-stable] [PATCH v1] devtools: fix wrong headline lowercase for arm

[Thomas Monjalon]

20/12/2018 16:52, Gavin Hu:
> Change to the new wording according to Arm corp:
> https://mails.dpdk.org/archives/dev/2018-October/115174.html
> otherwise, "Wrong headline lowercase" may be falsely reported.
> 
> Fixes: f146ada21d1e ("scripts: add more git log checks")
> Cc: stable at dpdk.org
> 
> Signed-off-by: Gavin Hu <gavin.hu at arm.com>
> ---
> --- a/devtools/check-git-log.sh
> +++ b/devtools/check-git-log.sh
> -	-e ':.*\<arm\>' \
> -	-e ':.*\<armv7\>' \
> -	-e ':.*\<armv8\>' \
> +	-e ':.*\<(Arm|ARM)\>' \

Are you saying that we should not write "Arm"?
I thought it was the right spelling when talking about the company.

> +	-e ':.*\<(Armv7|ARMv7|ArmV7|armV7|ARMV7)\>' \
> +	-e ':.*\<(Armv8|ARMv8|ArmV8|armV8|ARMV8)\>' \