Through the github web interface I created a new repository. I forgot to chose some options at creation time and thought I’d delete the new, empty repository and start again.
I deleted the repository but now cannot create a new repository with the same name as one that was deleted. I get a ‘Name already exists on this account’ error when I try.
I don’t know if this is a permanent matter (i.e. I can never create a new repository named the same as one that has been deleted) or just a temporary matter perhaps due to some information being cached which will later be cleared.
Can I create a github repository named the same as one that existed but was deleted?
You certainly should be able to create a new one with the same name. I’m fairly sure I’ve done this before.
I’d leave it for 5/10 minutes and try again if I were you.