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 /io/task.c | |
| parent | af509738f8e4400c26d321abeac924efb04fbfa0 (diff) | |
| download | focaccia-qemu-6ed4075c3c06b35cbd8316f2121073c600fcc089.tar.gz focaccia-qemu-6ed4075c3c06b35cbd8316f2121073c600fcc089.zip | |
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 'io/task.c')
0 files changed, 0 insertions, 0 deletions