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.