diff --git a/repositories.txt b/repositories.txt
index 5d06c15d..6109f455 100644
--- a/repositories.txt
+++ b/repositories.txt
@@ -2839,6 +2839,7 @@ https://github.com/MiguelPynto/ShiftDisplay
 https://github.com/mihai-dinculescu/arduino-gravity-soil-moisture-sensor
 https://github.com/mikalhart/IridiumSBD
 https://github.com/mikalhart/TinyGPSPlus
+https://github.com/mikalhart/ESP32-OTA-Pull
 https://github.com/mike-matera/ArduinoSTL
 https://github.com/mike-matera/FastPID
 https://github.com/MikeDombo/HV518_Arduino