Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Disable codecov PR comments #445

Merged
merged 1 commit into from
Aug 11, 2022
Merged

Disable codecov PR comments #445

merged 1 commit into from
Aug 11, 2022

Conversation

vkgnosis
Copy link
Contributor

Because I don't find them useful enough to justify the slightly annoying ping from the message. I got three thumbs up on Slack when suggesting this so I think enough people agree?

Test Plan

This or next PR the comment stop happening

@vkgnosis vkgnosis requested a review from a team as a code owner August 11, 2022 08:27
@MartinquaXD
Copy link
Contributor

slack thread for traceability.

@vkgnosis vkgnosis merged commit ef7f98c into main Aug 11, 2022
@vkgnosis vkgnosis deleted the codecov branch August 11, 2022 08:42
@github-actions github-actions bot locked and limited conversation to collaborators Aug 11, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants