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 <ktray...@redhat.com> > > > Signed-off-by: David Marchand <david.march...@redhat.com>
Applied, thanks
