Closed per1234 closed 3 years ago
On every push that changes relevant files, and periodically, use github-label-sync to configure the repository's issue/PR labels according to the universal, shared, and local label configuration files.
Preview of the changes that would be made to this repository's labels on merge of this PR: https://github.com/arduino/arduino-examples/runs/3948309158?check_suite_focus=true#step:9:15
On every push that changes relevant files, and periodically, use github-label-sync to configure the repository's issue/PR labels according to the universal, shared, and local label configuration files.
Preview of the changes that would be made to this repository's labels on merge of this PR: https://github.com/arduino/arduino-examples/runs/3948309158?check_suite_focus=true#step:9:15