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

Thu, 20 Dec 2018 08:02:44 -0800 


> -----Original Message-----
> From: Thomas Monjalon <[email protected]>
> Sent: Thursday, December 20, 2018 11:57 PM
> To: Gavin Hu (Arm Technology China) <[email protected]>
> Cc: [email protected]; [email protected]; [email protected];
> Honnappa Nagarahalli <[email protected]>; nd
> <[email protected]>; [email protected]
> Subject: Re: [PATCH v1] devtools: fix wrong headline lowercase for arm
> 
> 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: [email protected]
> >
> > Signed-off-by: Gavin Hu <[email protected]>
> > ---
> > --- 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.

Not sure if Arm, as a company name will appear on the patch headline.
Anyway I will remove Arm here in V2.

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























					Reply via email to