Angus Gratton 466ec6d9ac 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		2018-07-24 12:19:24 +08:00
..
apply_bot_filter.py	…
build_examples.sh	…
check-executable.sh	…
check-line-endings.sh	…
checkout_project_ref.py	…
configure_ci_environment.sh	…
executable-list.txt	…
get-full-sources.sh	…
mirror-list.txt	…
mirror-submodule-update.sh	…
mirror-synchronize.sh	…
test_build_system.sh	…
test_configure_ci_environment.sh	…