Also require that the repo be downloaded already.