Give ability to delete repos from list (at least inactive ones)

[mdesalvo]

I would like to have ability to delete a repository from my list, since there are a couple of entries which aren't really GitHub repos, but rather "ghosts" accidentally created during my experimental forks of the corresponding projects. These are all Inactive repos, in fact I never did setup for them. A "delete" button for these entries would help me to have a clearer situation of my account's working repos.

[drazisil-codecov]

I've converted this issue to a discussion for our Product team to review.

Additionally, I believe that codecov/roadmap#38 is related.