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 result if merged:
https://github.com/arduino/arduino-lint-action/pull/17/checks?check_run_id=3702827696#step:9:16

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 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 17:30
@per1234 per1234 merged commit 86c20b6 into arduino:main Sep 29, 2021
@per1234 per1234 self-assigned this Nov 20, 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.

2 participants