This repository was used to collect feedback about the alpha releases of the Arduino Pro IDE. As of March 1st, 2021 the Pro IDE became open source under the name of Arduino IDE 2.0. Its development is hosted in a new repository located at https://github.com/arduino/arduino-ide