Skip to content

Conversation

aentinger
Copy link
Contributor

This fixes #58.

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 30165fb into master Dec 15, 2021
@aentinger aentinger deleted the fix-58 branch December 15, 2021 09:46
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
1 participant