ci: add mirror for tinydtls submodule

diff --git a/tools/ci/mirror-list.txt b/tools/ci/mirror-list.txt
index 8f4c0b7d07c49de9c6da265b39b1ad6ebea6ea5c..8495ee139f619627b90e04545f911e3eb61787b8 100644 (file)
--- a/tools/ci/mirror-list.txt
+++ b/tools/ci/mirror-list.txt
@@ -3,6 +3,7 @@ components/bt/lib                                           @GENERAL_MIRROR_SERV
 components/esptool_py/esptool                               @GENERAL_MIRROR_SERVER@/idf/esptool.git
 components/aws_iot/aws-iot-device-sdk-embedded-C            @GENERAL_MIRROR_SERVER@/idf/aws-iot-device-sdk-embedded-C.git   ALLOW_TO_SYNC_FROM_PUBLIC
 components/coap/libcoap                                     @GENERAL_MIRROR_SERVER@/idf/libcoap.git                         ALLOW_TO_SYNC_FROM_PUBLIC
+ext/tinydtls                                                @GENERAL_MIRROR_SERVER@/idf/org.eclipse.tinydtls.git            ALLOW_TO_SYNC_FROM_PUBLIC
 components/json/cJSON                                       @GENERAL_MIRROR_SERVER@/idf/cJSON.git                           ALLOW_TO_SYNC_FROM_PUBLIC
 components/libsodium/libsodium                              @GENERAL_MIRROR_SERVER@/idf/libsodium.git                       ALLOW_TO_SYNC_FROM_PUBLIC
 components/mbedtls/mbedtls                                  @GENERAL_MIRROR_SERVER@/idf/mbedtls.git                         ALLOW_TO_SYNC_FROM_PUBLIC