We should be able to delete the local clone of a repo.
We should be able to delete the local clone of a repo.