ci: use our own mirror for fuchsia's zircon repository

The canonical repository on fuchsia.googlesource.com is not accessible
anymore, neither for anonymous access nor logged in access. This commit
switches our CI to fetch the repository from our own mirror.
This commit is contained in:
Pietro Albini 2019-05-09 11:32:41 +02:00
parent d4f071af23
commit 8f9e90b9cd
No known key found for this signature in database
GPG key ID: 3E06ABE80BAAF19C

View file

@ -10,7 +10,7 @@ pushd zircon > /dev/null
# Download sources
git init
git remote add origin https://fuchsia.googlesource.com/zircon
git remote add origin https://github.com/rust-lang-nursery/mirror-google-fuchsia-zircon
git fetch --depth=1 origin $ZIRCON
git reset --hard FETCH_HEAD