chore: Disable PR commenting by codecov bot#3574
Conversation
|
|
Were the comments that were being added not very useful? |
|
An example #3535 (comment) |
I don't think they're very useful yet. IMO there's going to be some observing and tweaking to be done in the codecov settings until we get it setup to be really valuable, so I don't want to irritate people with yet another bot until it's in a better state.
That's a good example actually, as the comment was posted before we started ignoring the Generally, I think that a bot still implies a fairly manual process. Just failing in CI if coverage decreases would more strongly reinforce the habit of adding tests for new code. |
tynes
left a comment
There was a problem hiding this comment.
I'd like bot comments eventually, but ok with disabling them until its set up nicely
|
This PR has been added to the merge queue, and will be merged soon. |
|
This PR is next in line to be merged, and will be merged as soon as checks pass. |
Description
Prevents the codecov bot from commenting on PRs. We may wish to enable this again later when the configuration is more mature.