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: sta...@dpdk.org > > Signed-off-by: Gavin Hu <gavin...@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)\>' \
