Re: android-build migration next Friday, Jul 4, was: Re: Upcoming android-build.linaro.org migration (and disk space)