From mboxrd@z Thu Jan  1 00:00:00 1970
From: Thomas Monjalon <thomas@monjalon.net>
Subject: Re: [PATCH v1] devtools: fix wrong headline lowercase
	for arm
Date: Thu, 20 Dec 2018 16:57:04 +0100
Message-ID: <3220337.l9tPYBC6Td@xps>
References: <20181220155224.8894-1-gavin.hu@arm.com>
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7Bit
Cc: dev@dpdk.org, bruce.richardson@intel.com, ferruh.yigit@intel.com,
 Honnappa.Nagarahalli@arm.com, nd@arm.com, stable@dpdk.org
To: Gavin Hu <gavin.hu@arm.com>
Return-path: <dev-bounces@dpdk.org>
In-Reply-To: <20181220155224.8894-1-gavin.hu@arm.com>
List-Id: DPDK patches and discussions <dev.dpdk.org>
List-Unsubscribe: <https://mails.dpdk.org/options/dev>,
 <mailto:dev-request@dpdk.org?subject=unsubscribe>
List-Archive: <http://mails.dpdk.org/archives/dev/>
List-Post: <mailto:dev@dpdk.org>
List-Help: <mailto:dev-request@dpdk.org?subject=help>
List-Subscribe: <https://mails.dpdk.org/listinfo/dev>,
 <mailto:dev-request@dpdk.org?subject=subscribe>
Errors-To: dev-bounces@dpdk.org
Sender: "dev" <dev-bounces@dpdk.org>

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