From: Angus Gratton <angus@espressif.com>
Date: Tue, 24 Jul 2018 04:19:24 +0000 (+0800)
Subject: Merge branch 'bugfix/ci_use_mirror_for_public' into 'master'
X-Git-Tag: v3.2-beta1~395
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=466ec6d9ace76e62c744ec083db8e6ad9f101eb6;p=esp-idf

Merge branch 'bugfix/ci_use_mirror_for_public' into 'master'

ci: Use local mirrors on the public branches too

See merge request idf/esp-idf!2836
---

466ec6d9ace76e62c744ec083db8e6ad9f101eb6