From 4ebdd42b7fba0db953573302cc25373cdef48808 Mon Sep 17 00:00:00 2001
From: Cristian Maglie <c.maglie@arduino.cc>
Date: Thu, 19 Jan 2023 11:34:28 +0100
Subject: [PATCH] Add `Arduino_ESP32_OTA`

---
 repositories.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/repositories.txt b/repositories.txt
index a00ec26f4..08be515e3 100644
--- a/repositories.txt
+++ b/repositories.txt
@@ -5529,3 +5529,4 @@ https://github.com/khoih-prog/ESP32_W6100_Manager
 https://github.com/lualtek/cubecell-device-lib
 https://github.com/weedmanu/Song
 https://github.com/TrebledJ/Serial-Tuning
+https://github.com/arduino-libraries/Arduino_ESP32_OTA