]> granicus.if.org Git - esp-idf/commit
projects / esp-idf / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f52519d) | patch
CI: Use local mirrors for submodules
authorAnton Maklakov <anton@espressif.com>
Mon, 19 Jun 2017 01:59:18 +0000 (09:59 +0800)
committerAnton Maklakov <anton@espressif.com>
Fri, 30 Jun 2017 04:06:02 +0000 (12:06 +0800)
commit52445ee5416a318d04bcf6e2e75cf9d72d378972
treef78d0f73969d8f7693c93be5677335453d9a9d91tree | snapshot
parentf52519d7a2670cbb9ce68477d7b07f718990fc03commit | diff
CI: Use local mirrors for submodules

    The CI uses the mirror-submodule-update.sh for non-permanent reassignment
    of 3rdparty sub-modules to local mirrors (only for 'non-master' branches).
    List of the mirrors in mirror-list.txt

    You can use the script locally to speed up data retrieval on network problems

    check_submodule_sync job uses 'GIT_STRATEGY: clone' to check the availability of public sources
.gitlab-ci.yml diff | blob | history
tools/ci/configure_ci_environment.sh diff | blob | history
tools/ci/get-full-sources.sh diff | blob | history
tools/ci/mirror-list.txt [new file with mode: 0644] blob
tools/ci/mirror-submodule-update.sh [new file with mode: 0755] blob
Unnamed repository; edit this file 'description' to name the repository.