]> granicus.if.org Git - esp-idf/commitdiff
Merge branch 'feature/ci_mirror_for_submodules' into 'master'
authorAnton Maklakov <anton@espressif.com>
Fri, 30 Jun 2017 04:23:42 +0000 (12:23 +0800)
committerAnton Maklakov <anton@espressif.com>
Fri, 30 Jun 2017 04:23:42 +0000 (12:23 +0800)
Use custom fetch strategy. Use local mirrors for submodules

See merge request !890


Trivial merge