mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-04-19 21:07:20 +00:00

Permission were previously changed here https://github.com/arduino/arduino-ide/pull/2651 Repo write permission is needed to allow creating the github release and publishing files