Github will do that when you delete a repo.