You can now install support package for your ESP32 using the Arduino Boards Manager!
Details here: https://github.com/espressif/arduino-esp32/blob/master/docs/arduino-ide/boards_manager.md
5 Likes
Finaly… no more fiddling with GIT and never being sure what version I was git’in