jeffreycwitt
commented
7 years ago Further, after recreating the repo, now two repos with identical names are listed. Both links work because they are now pointing to the same re-created repository.
It is still a github issue because the github api call to the user repos is returning a list of repos with the repo in question listed twice. Odd!
Repository list still listing repos even after deletion on github. Click on this link then produces a 404 because the repository is not longer there.
This seems like a github issue. I double check to make sure the repetition is coming from the response data to the API call and it definitely is. I'm not sure there is too much we can do about it, since github's api is basically lying. It might just be a matter of telling the user to be patient. We could also add better error messaging, so that if a stale repository is listed and clicked on an appropriate error message appears.
Seems like an edge case born from test. Since the primary goal is to allow a person just to edit files from existing repositories, I don't expect a lot of people to be forking and then rapidly deleting repos.