From mboxrd@z Thu Jan 1 00:00:00 1970 From: Thomas Monjalon Subject: Re: [PATCH v2 4/4] devtools: add git log checks for rmv Date: Mon, 01 May 2017 00:28:44 +0200 Message-ID: <4866447.UNbSrGBMEW@xps> References: <6b26d933986d18cb525406a9e9f66d6e9180225d.1493114878.git.gaetan.rivet@6wind.com> <6b26d933986d18cb525406a9e9f66d6e9180225d.1493115408.git.gaetan.rivet@6wind.com> <6466f6de37049b0e7970ba0762b477250cbe5bb1.1493115408.git.gaetan.rivet@6wind.com> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7Bit Cc: dev@dpdk.org, Ferruh Yigit To: Gaetan Rivet Return-path: Received: from out4-smtp.messagingengine.com (out4-smtp.messagingengine.com [66.111.4.28]) by dpdk.org (Postfix) with ESMTP id 723957CA2 for ; Mon, 1 May 2017 00:28:46 +0200 (CEST) In-Reply-To: <6466f6de37049b0e7970ba0762b477250cbe5bb1.1493115408.git.gaetan.rivet@6wind.com> List-Id: DPDK patches and discussions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: dev-bounces@dpdk.org Sender: "dev" 25/04/2017 12:18, Gaetan Rivet: > Signed-off-by: Gaetan Rivet > --- > devtools/check-git-log.sh | 1 + > 1 file changed, 1 insertion(+) > > diff --git a/devtools/check-git-log.sh b/devtools/check-git-log.sh > index 8449d4f..f081ff5 100755 > --- a/devtools/check-git-log.sh > +++ b/devtools/check-git-log.sh > @@ -132,6 +132,7 @@ bad=$(echo "$headlines" | grep -E --color=always \ > -e ':.*\' \ > -e ':.*\' \ > -e ':.*\' \ > + -e ':.*\' \ > -e ':.*\' \ > -e ':.*\' \ > -e ':.*\<[Vv]lan\>' \ rmv is not an acronym. I think there is no need to enforce uppercases.