Skip to content

Add setup labels workflow to manage repository labels#11

Merged
pethers merged 1 commit intomainfrom
labels
May 25, 2025
Merged

Add setup labels workflow to manage repository labels#11
pethers merged 1 commit intomainfrom
labels

Conversation

@pethers
Copy link
Member

@pethers pethers commented May 25, 2025

Introduce a new workflow for setting up and managing repository labels, ensuring key labels exist and can be created or updated as needed. This enhances label management and improves the label application process for pull requests.

@github-actions github-actions bot added the infrastructure CI/CD and build infrastructure label May 25, 2025
@pethers pethers merged commit fc1601f into main May 25, 2025
10 checks passed
@pethers pethers deleted the labels branch May 25, 2025 16:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

infrastructure CI/CD and build infrastructure

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant