Happy Holidays all. I am looking to upgrade my Arduino IDE ESP32 core.

Happy Holidays all. I am looking to upgrade my Arduino IDE ESP32 core. I believe I need to download this from Github and install rather than look to the IDE to do it. I am on Windows 10. Any tips on the steps to do this?

If you want to manage it manually you can follow these steps https://github.com/espressif/arduino-esp32/blob/master/docs/arduino-ide/windows.md

@Mike_Joseph , don’t forget to remove ESP32 from the boards manager :wink: