The repo should be deleted