Closed jeffwidman closed 1 year ago
I just added it.
Does it resolve the issue? @a-ungurianu
@ceache that was fast 😀
Do you find it useful though? See my edited issue above (I didn't expect someone to respond that fast!!)
Hello,
I tend to find it useful: I do just like you said, Jeff, but also use the generated covering stats to check if my "impression" about the PR isn't biased somehow (ie. I did not overlook the PR).
Sounds good, let's keep it for now then.
I just saw they were acquired by Sentry, so they're in good hands, and also unlikely to go defunct/bankrupt (which was one of my previous concerns actually): https://sentry.io/about/press-releases/sentry-acquires-codecov/
Down the road if we do run into problems, we could always wire up something like https://hynek.me/articles/ditch-codecov-python/ ourselves, but I have no appetite for that unless forced to.
I think the first question is whether we should keep Codecov??
Happy to keep if it others find it valuable, but I personally don't find Codecov useful, as I tend to simply look at a PR source directly and decide if they've got reasonable test coverage or not.
From there, we can either completely remove it, or fixup the GitHub app install.
Input @StephenSorriaux @a-ungurianu @ceache @bbangert ?