Skip to content

Conversation

@per1234
Copy link
Contributor

@per1234 per1234 commented Sep 24, 2021

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 if merged:
https://github.com/arduino/arduino-fwuploader/pull/115/checks?check_run_id=3702153399#step:9:15

@per1234 per1234 added type: enhancement Proposed improvement topic: infrastructure Related to project infrastructure labels Sep 24, 2021
@per1234 per1234 marked this pull request as ready for review September 24, 2021 16:15
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.
@per1234 per1234 merged commit 20f5ea4 into arduino:main Oct 20, 2021
@per1234 per1234 deleted the sync-labels branch October 20, 2021 06:02
@per1234 per1234 self-assigned this Nov 23, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

topic: infrastructure Related to project infrastructure type: enhancement Proposed improvement

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants