]> granicus.if.org Git - esp-idf/commit
projects / esp-idf / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fec079c) | 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)
committerAnton Maklakov <anton@espressif.com>
Mon, 23 Jul 2018 09:04:38 +0000 (17:04 +0800)
commitd5f666dee349102b373a0836b962eed61c5fc121
tree523398d7e63c47cead2d8638ff1f7eff3489e327tree | snapshot
parentfec079cd4434a7bdbe83becdeed3aef55554fd26commit | 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.