[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH 3/8] run-coverity-scan: get Coverity token and email from spe
|
From: |
Peter Maydell |
|
Subject: |
Re: [PATCH 3/8] run-coverity-scan: get Coverity token and email from special git config section |
|
Date: |
Mon, 27 Apr 2020 13:34:40 +0100 |
On Wed, 22 Apr 2020 at 18:24, Paolo Bonzini <address@hidden> 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 <address@hidden>
I think a couple of references to PROJTOKEN in comments need
updating to say COVERITY_TOKEN. Otherwise
Reviewed-by: Peter Maydell <address@hidden>
thanks
-- PMM
- [PATCH 1/8] docker.py/build: support -t and -f arguments, (continued)
- [PATCH 1/8] docker.py/build: support -t and -f arguments, Paolo Bonzini, 2020/04/22
- [PATCH 4/8] run-coverity-scan: use docker.py, Paolo Bonzini, 2020/04/22
- [PATCH 2/8] docker.py/build: support binary files in --extra-files, Paolo Bonzini, 2020/04/22
- [PATCH 8/8] run-coverity-scan: support --update-tools-only --docker, Paolo Bonzini, 2020/04/22
- [PATCH 3/8] run-coverity-scan: get Coverity token and email from special git config section, Paolo Bonzini, 2020/04/22
- Re: [PATCH 3/8] run-coverity-scan: get Coverity token and email from special git config section,
Peter Maydell <=
- [PATCH 5/8] run-coverity-scan: add --no-update-tools option, Paolo Bonzini, 2020/04/22