diff options
| author | Paolo Bonzini <pbonzini@redhat.com> | 2020-04-22 10:21:18 -0400 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2020-06-10 12:09:32 -0400 |
| commit | 6ed4075c3c06b35cbd8316f2121073c600fcc089 (patch) | |
| tree | 7a316489947e5383a4e224eada4c9dbbd7a552e3 /scripts/coverity-scan/coverity-scan.docker | |
| parent | af509738f8e4400c26d321abeac924efb04fbfa0 (diff) | |
| download | qemu-6ed4075c3c06b35cbd8316f2121073c600fcc089.zip qemu-6ed4075c3c06b35cbd8316f2121073c600fcc089.tar.gz qemu-6ed4075c3c06b35cbd8316f2121073c600fcc089.tar.bz2 | |
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>
Diffstat (limited to 'scripts/coverity-scan/coverity-scan.docker')
0 files changed, 0 insertions, 0 deletions