Closed
Description
via #235 (comment)
The officially recommended [URL for esp32 boards is] in the installation instructions here:
https://github.com/espressif/arduino-esp32/blob/master/docs/arduino-ide/boards_manager.md
And it points to
https://raw.githubusercontent.com/espressif/arduino-esp32/gh-pages/package_esp32_index.json