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)
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>

No differences found