]> granicus.if.org Git - esp-idf/commit
Merge branch 'bugfix/ci_use_mirror_for_public' into 'master'
authorAngus Gratton <angus@espressif.com>
Tue, 24 Jul 2018 04:19:24 +0000 (12:19 +0800)
committerAngus Gratton <angus@espressif.com>
Tue, 24 Jul 2018 04:19:24 +0000 (12:19 +0800)
commit466ec6d9ace76e62c744ec083db8e6ad9f101eb6
tree433117ad18fe2f7775e1856ee88f4920a74c3604
parentc3069b97f9d19b34b302d3ff0a93b8bc6e3d6c64
parentd5f666dee349102b373a0836b962eed61c5fc121
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