Skip to content

Conversation

@aentinger
Copy link
Contributor

This fixes #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.

The new labels used a standardized prefixed format that causes all the labels of a given class to be listed together in GitHub's alphabetically sorted labels menu.

Example of a repository that has the workflow applied:

@aentinger aentinger added the type: enhancement Proposed improvement label Dec 15, 2021
@aentinger aentinger self-assigned this Dec 15, 2021
@aentinger aentinger merged commit 900a115 into master Dec 15, 2021
@aentinger aentinger deleted the fix-15 branch December 15, 2021 09:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

type: enhancement Proposed improvement

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Add GitHub Actions workflow to synchronise with shared repository labels

2 participants