]> granicus.if.org Git - esp-idf/commit
projects / esp-idf / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bcebf3e) | patch
ci: Use local mirrors on the public branches (master, release-) too
authorAnton Maklakov <anton@espressif.com>
Mon, 23 Jul 2018 09:03:05 +0000 (17:03 +0800)
committerHe Yin Ling <heyinling@espressif.com>
Tue, 28 Aug 2018 15:43:30 +0000 (23:43 +0800)
commit84a32f32885c8a2690d3babf279e63bb97a2224f
tree10209e130b3bcf98757cc610b5de07a35b56f68etree | snapshot
parentbcebf3e6f16d354880b253f021013db7d6150c8ccommit | diff
ci: Use local mirrors on the public branches (master, release-) too

    Use DONT_USE_MIRROR=1 to force using the original repositories if you need
tools/ci/get-full-sources.sh diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.