Use codecov GitHub App integration

Question

Use codecov GitHub App integration

Mariatta opened this issue a year ago · comments

On this PR, there's a message from Codecov: (#194 (comment))

📣 This organization is not using Codecov’s GitHub App Integration. We recommend you install it so Codecov can continue to function properly for your repositories. Learn more

So let's do that? Or use another alternative.

Brett Cannon · Answer 1 · Thu May 04 2023 03:47:41 GMT+0800 (China Standard Time)

I guess the question is how much do we care about a specific code coverage target, and do we care about producing browsable results beyond an ASCII table from coverage.py in CI?

I'm personally okay with either solution.

Mariatta · Answer 2 · Sun May 28 2023 11:21:28 GMT+0800 (China Standard Time)

I still prefer being able to see HTML coverage output, however as an experienced contributor, I know how to do it locally so I don't need it on the CI.

Brett Cannon · Answer 3 · Tue May 30 2023 01:03:49 GMT+0800 (China Standard Time)

Since this is still under my personal account I think I would have to install Codecov for my entire personal account which I would like to avoid.

We can also move this project to its own org account where you are equal owner and we can set up whatever we want.

Mariatta · Answer 4 · Thu Jun 22 2023 03:56:08 GMT+0800 (China Standard Time)

I'm ok with moving to an org account.

Brett Cannon · Answer 5 · Sat Jun 24 2023 07:09:00 GMT+0800 (China Standard Time)

Anything I should watch out for before making a gidgethub org and moving this repo over to it? Nothing comes to mind, but I haven't ever done this either, so I'm not sure what I would have to watch out for breaking. 😅

Mariatta · Answer 6 · Sat Jun 24 2023 09:05:49 GMT+0800 (China Standard Time)

Maybe read up the docs first to understand what gets transferred. (Looks like pretty much everything, and if people try to hit the old URL, GitHub will redirect it to the new org URL)

The other we may need to do is to re-wire readthedocs to the org repo.

Mariatta · Answer 7 · Sat Jun 24 2023 09:30:37 GMT+0800 (China Standard Time)

This note sticks out to me:

: If you create a new repository under your account in the future, do not reuse the original name of the transferred repository. If you do, redirects to the transferred repository will no longer work.

For you I think it means you can't fork gidgethub from the org repo to your personal account 🤔, or it would break the redirect 😅

Brett Cannon · Answer 8 · Thu Jun 29 2023 01:39:22 GMT+0800 (China Standard Time)

For you I think it means you can't fork gidgethub from the org repo to your personal account

That's fine. I can just do branches in the main repo.

Brett Cannon · Answer 9 · Sat Jul 08 2023 03:35:42 GMT+0800 (China Standard Time)

Moved! You should have an invite to be an owner of the new org.

Mariatta · Answer 10 · Sat Jul 08 2023 09:35:05 GMT+0800 (China Standard Time)

Got it. Thanks!

Mariatta · Answer 11 · Fri Aug 04 2023 06:37:18 GMT+0800 (China Standard Time)

I've installed codecov app to the gidgethub/gidgethub repository.