Skip to content

Improve configuration for "topic: infrastructure" shared label #215

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 2 commits into from
Apr 11, 2022
Merged

Improve configuration for "topic: infrastructure" shared label #215

merged 2 commits into from
Apr 11, 2022

Conversation

per1234
Copy link
Contributor

@per1234 per1234 commented Apr 7, 2022

The "Sync Labels" template workflow uses a "universal" label configuration file hosted in this repository, which defines the GitHub labels that are used in all Arduino tooling project repositories.

The "topic: infrastructure" label is applied to all issues and PRs related to the project infrastructure (as opposed to the content of the project itself or its documentation). This "infrastructure" includes the dependencies, which are normally managed by Dependabot.

By default, Dependabot applies a label named "dependencies" to its PRs. This is configurable, but experience shows that is often forgotten. With the previous configuration, the "topic: infrastructure" label must be manually applied to the Dependabot PRs. The "dependencies" label is added here as an "alias" for "topic: infrastructure" label, which will automate this labeling task.

per1234 added 2 commits April 7, 2022 00:31
By default, dependabot adds the "dependencies" repository label to its pull requests, but . The labeling behavior can be
customized in the `dependabot.yml` configuration file, but this configuration file is for general outdated dependency
updates, whereas many projects use dependabot only for security updates, which are handled by the repository settings
rather than the configuration file. It does not appear that there is any way to adjust the label name via the repository
settings.
The previous description of the "topic: infrastructure" repository label was:

> Related to repository infrastructure

This might give the impression that it is intended to be only for Git-related things (e.g., `.gitignore`), but actually
this is for anything related to the infrastructure of the project (e.g., build system, dependencies) which includes, but
is not limited to, Git-related things.

A more general description will more effectively communicate the intended meaning of the label.
@per1234 per1234 added type: enhancement Proposed improvement topic: code Related to content of the project itself labels Apr 7, 2022
@per1234 per1234 requested a review from umbynos April 7, 2022 08:28
@per1234 per1234 self-assigned this Apr 7, 2022
@per1234 per1234 merged commit f0a2488 into arduino:main Apr 11, 2022
@per1234 per1234 deleted the update-labels branch April 11, 2022 09:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
topic: code Related to content of the project itself type: enhancement Proposed improvement
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants