Codecov report to wrong repo after name changes

I changes my repo name in GitHub. But Codecov bash script still sends reports to my old repo in Codecov(the new repo does exist in Codecov) and I can’t remove/re-sync with GitHub.

I resolved this issue by creating a dummy repo with the old name.

Thanks for letting us know the solution @bofeizhu !!! We will keep it in mind for future users.