how to download the repo