Skip to content
This repository was archived by the owner on May 24, 2023. It is now read-only.

Remove unused labels #75

Merged
merged 1 commit into from
Mar 11, 2021
Merged

Remove unused labels #75

merged 1 commit into from
Mar 11, 2021

Conversation

lucacome
Copy link
Contributor

Removing unused labels

@lucacome lucacome requested review from Dean-Coakley and a team March 10, 2021 01:14
@lucacome lucacome self-assigned this Mar 10, 2021
@lucacome lucacome requested review from pleshakov and ciarams87 and removed request for a team March 10, 2021 01:14
@github-actions github-actions bot added the chore Pull requests for routine tasks label Mar 10, 2021
@lucacome lucacome merged commit 6befcd3 into master Mar 11, 2021
@lucacome lucacome deleted the chore/align-labels branch March 11, 2021 00:43
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
chore Pull requests for routine tasks
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants