]> git.proxmox.com Git - mirror_qemu.git/commit
projects / mirror_qemu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: af50973) | patch
run-coverity-scan: get Coverity token and email from special git config section
authorPaolo Bonzini <pbonzini@redhat.com>
Wed, 22 Apr 2020 14:21:18 +0000 (10:21 -0400)
committerPaolo Bonzini <pbonzini@redhat.com>
Wed, 10 Jun 2020 16:09:32 +0000 (12:09 -0400)
commit6ed4075c3c06b35cbd8316f2121073c600fcc089
tree7a316489947e5383a4e224eada4c9dbbd7a552e3tree
parentaf509738f8e4400c26d321abeac924efb04fbfa0commit | diff
run-coverity-scan: get Coverity token and email from special git config section

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.

Reviewed-by: Peter Maydell <peter.maydell@linaro.org>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
scripts/coverity-scan/run-coverity-scan diff | blob | blame | history
QEMU mirror