From: David Marchand Date: Tue, 8 Oct 2019 15:52:29 +0000 (+0200) Subject: devtools: check coverity and bugzilla tags X-Git-Url: http://git.droids-corp.org/?a=commitdiff_plain;h=7a8735e2fd7c72240557703a2106527986267123;p=dpdk.git devtools: check coverity and bugzilla tags Let's try to check for discrepancies in coverity and bugzilla tags. The contributing guide specifies that: - for coverity issues, the tag is 'Coverity issue:' - for bugzilla issues, the tag is 'Bugzilla ID:' Signed-off-by: David Marchand Acked-by: Kevin Traynor --- diff --git a/devtools/check-git-log.sh b/devtools/check-git-log.sh index a763ccf784..f9d0550393 100755 --- a/devtools/check-git-log.sh +++ b/devtools/check-git-log.sh @@ -161,6 +161,24 @@ bad=$(echo "$tags" | sed 's,^.,\t&,') [ -z "$bad" ] || printf "Wrong tag:\n$bad\n" +# check missing Coverity issue: tag +bad=$(for commit in $commits; do + body=$(git log --format='%b' -1 $commit) + echo "$body" | grep -qi coverity || continue + echo "$body" | grep -q '^Coverity issue:' && continue + git log --format='\t%s' -1 $commit +done) +[ -z "$bad" ] || printf "Missing 'Coverity issue:' tag:\n$bad\n" + +# check missing Bugzilla ID: tag +bad=$(for commit in $commits; do + body=$(git log --format='%b' -1 $commit) + echo "$body" | grep -qi bugzilla || continue + echo "$body" | grep -q '^Bugzilla ID:' && continue + git log --format='\t%s' -1 $commit +done) +[ -z "$bad" ] || printf "Missing 'Bugzilla ID:' tag:\n$bad\n" + # check missing Fixes: tag bad=$(for fix in $fixes ; do git log --format='%b' -1 $fix | grep -q '^Fixes: ' ||