git.droids-corp.org / dpdk.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bd711af) | patch
devtools: check coverity and bugzilla tags
authorDavid Marchand <david.marchand@redhat.com>
Tue, 8 Oct 2019 15:52:29 +0000 (17:52 +0200)
committerThomas Monjalon <thomas@monjalon.net>
Wed, 27 Nov 2019 23:33:58 +0000 (00:33 +0100)
commit7a8735e2fd7c72240557703a2106527986267123
tree1cf0280fc54d9fe4f8d01812296e8cc86a983dcetree | snapshot
parentbd711af366273ddcb78d4a877feac578b7040e81commit | diff
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 <david.marchand@redhat.com>
Acked-by: Kevin Traynor <ktraynor@redhat.com>
devtools/check-git-log.sh diff | blob | history
DPDK repo used for reviews