Paolo Bonzini 6ed4075c3c 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>		2020-06-10 12:09:32 -04:00
..
coverity-scan.docker	scripts/coverity-scan: Add Docker support	2020-04-14 13:15:40 +01:00
run-coverity-scan	run-coverity-scan: get Coverity token and email from special git config section	2020-06-10 12:09:32 -04:00