Comment
When deleting a repo which I don't need (having done a move from github via automation), after deleting the repo, I wind up back at the repo page, but since it's gone, it's a 404. Which is confusing: did I properly delete it, or did something else go wrong?