-
由 Dan Smilkov 提交于
new_git_repository is flaky when cloning big repos (e.g. threejs which will be added soon). Also downloading a compressed archive is faster than git clone and uses less disk space since http_archive doesn't download the whole history of the repo. Change: 131844039
80acdaf4