New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

Add "theme updates" as a valid label #232

Merged

bonanitech merged 1 commit into master from pr-labels-theme-updates

Dec 13, 2022

Member

bonanitech commented Dec 13, 2022

Needed because #231


          Add "theme updates" as a valid label

74532bb

bonanitech added the maintenance label

bonanitech merged commit 89e46b9 into master

bonanitech deleted the pr-labels-theme-updates branch

December 13, 2022 15:56

github-actions bot locked and limited conversation to collaborators

# for free to subscribe to this conversation on GitHub. Already have an account? #.

Labels