slight refactors of github downloader