On Wed, 22 Apr 2020 at 18:24, Paolo Bonzini <pbonz...@redhat.com> wrote: > > Support a [coverity] section in .git/config. It can be used to retrieve the > token and also, if it is different from user.email, the username of the > submitter. > > Signed-off-by: Paolo Bonzini <pbonz...@redhat.com>
I think a couple of references to PROJTOKEN in comments need updating to say COVERITY_TOKEN. Otherwise Reviewed-by: Peter Maydell <peter.mayd...@linaro.org> thanks -- PMM
