Code review comment for lp://staging/~danilo/linaro-android-build-tools/use-http-proxy

Changes look good, thumbs up for checking proxy availability first.

But I'm not sure about "repo sync" times - do you have a ling for that. "Standard" seed dl + repo sync time is 20min, I took first random build and see 16min: https://android-build.linaro.org/jenkins/job/linaro-android_panda-ics-gcc47-tilt-tracking-blob/176/parsed_console/? , expand "Info" section:

2 TIME: Seed download and uncompress: 8m44.897s

3 TIME: Repo sync (using seed as reference): 7m37.108s
https://android-build.linaro.org/jenkins/job/linaro-android_panda-ics-gcc47-tilt-tracking-blob/176/parsed_console/?

(warning! that page is huge (100mb), and will certainly crash Firefox and make Chromium thrash swap.)