copyToRepo is not working on github repository yet because I can not detect the list of files to download #22 . The previous version of copyRepo had lazy-evaluation bug so I needed to write new version of that funcion.