I was worried that a public repo I was checking out had been deleted