title: Can I create a github repository named the same as one that existed but was deleted?
body: <p>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.</p>
  
  <p>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.</p>
  
  <p>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.</p>
  
  <p>Can I create a github repository named the same as one that existed but was deleted?</p>