no need to use download-repos script here

Authored by cgilles on Jun 10 2019, 1:18 PM.