Re: [PATCH 2/6] commit: copy saved getenv() result
- From
Stefan Beller <sbeller@google.com>
- Date
- Jan 15, 2019, 19:25 UTC
- Message-ID
- <CAGZ79kYMiy=j8z2Y3XA03OD07jeUEXs3frNpjvyAFguVxeoBow@mail.gmail.com>
- In-Reply-To
- <20190115191714.GD4886@sigill.intra.peff.net>
> Stefan was routinely running coverity, though I haven't seen results in > a while. I think we should make sure that continues, as it did turn up > some useful results (and a lot of cruft, too, but on the whole I have > found it useful).
coverity had some outage (end of last year?-ish) and then changed the way it dealt with automated uploads IIRC. I have not looked into redoing the automation again since then.
Since 7th of Jan, they seem to have issues with hosting (for everyone or just the open source projects?) https://community.synopsys.com/s/article/Coverity-Scan-Update
For reference, the script that used to work is at https://github.com/stefanbeller/git/commit/039be8078bb0379db271135e0c0d7315c34fe243 (which is on the `coverity` branch of that repo)