Feature or enhancement
Proposal:
Drop references to coverity.
The last time the project was scanned using coverity was 2020. Those listed as admins/experts on coverity hasn't been maintaining it.
We discussed this during Python core sprint on Discord.
A DevGuide PR was opened to also remove mention about coverity.
Has this already been discussed elsewhere?
I have already discussed this feature proposal on Discourse
Links to previous discussion of this feature:
python/devguide#1411
Linked PRs
Feature or enhancement
Proposal:
Drop references to
coverity.The last time the project was scanned using coverity was 2020. Those listed as admins/experts on coverity hasn't been maintaining it.
We discussed this during Python core sprint on Discord.
A DevGuide PR was opened to also remove mention about coverity.
Has this already been discussed elsewhere?
I have already discussed this feature proposal on Discourse
Links to previous discussion of this feature:
python/devguide#1411
Linked PRs