Update repositories.txt (#2473)

Add https://github.com/mikalhart/ESP32-OTA-Pull

Author: mikalhart

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