mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-04-23 14:57:19 +00:00

On every push that changes relevant files, and periodically, configure the repository's issue and pull request labels according to the universal, shared, and local label configuration files.