[dpdk-dev] [PATCH] devtools: check coverity and bugzilla tags

[Thomas Monjalon]

09/10/2019 15:43, Kevin Traynor:
> On 08/10/2019 16:52, David Marchand wrote:
> > Let's try to check for discrepancies in covery and bugzilla tags.
> 
> s/covery/coverity/ - you are trying to fool your patch? :-)
> 
> > The contributing guide specifies that:
> > - for coverity issues, the tag is 'Coverity issue:'
> > - for bugzilla issues, the tag is 'Bugzilla ID:'
> > 
> 
> Self tested:
> $ ./devtools/check-git-log.sh
> Missing 'Coverity issue:' tag:
> 	devtools: check coverity and bugzilla tags
> Missing 'Bugzilla ID:' tag:
> 	devtools: check coverity and bugzilla tags
> 
> with typo fix,
> Acked-by: Kevin Traynor <ktraynor at redhat.com>
> 
> > Signed-off-by: David Marchand <david.marchand at redhat.com>

Applied, thanks