From 3fb32e288bf9e7e4df316104966f3b014f93b442 Mon Sep 17 00:00:00 2001 From: Ferruh Yigit Date: Thu, 26 Jan 2017 14:16:47 +0000 Subject: [PATCH] devtools: add more git headline checks for acronyms Signed-off-by: Ferruh Yigit --- devtools/check-git-log.sh | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/devtools/check-git-log.sh b/devtools/check-git-log.sh index 9ccef668e7..4c50eff6c1 100755 --- a/devtools/check-git-log.sh +++ b/devtools/check-git-log.sh @@ -128,13 +128,15 @@ bad=$(echo "$headlines" | grep -E --color=always \ -e ':.*\' \ -e ':.*\' \ -e ':.*\' \ + -e ':.*\' \ -e ':.*\' \ -e ':.*\' \ -e ':.*\' \ -e ':.*\' \ -e ':.*\' \ -e ':.*\' \ - -e ':.*\' \ + -e ':.*\' \ + -e ':.*\<[Vv]lan\>' \ | sed 's,^,\t,') [ -z "$bad" ] || printf "Wrong headline lowercase:\n$bad\n" -- 2.20.1