Skip to content

Conversation

@pmeier
Copy link
Member

@pmeier pmeier commented Dec 4, 2023

Having these prefixes is redundant with our labels. We shouldn't have both.

@pmeier pmeier requested a review from pavithraes December 4, 2023 16:05
@pavithraes pavithraes added the type: maintenance 🛠️ Day-to-day maintenance tasks label Dec 4, 2023
Copy link
Member

@pavithraes pavithraes left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks, looks good to me. :)

I'll note that there's a failing test that seems unrelated, but you may have a better idea about that.

@pmeier pmeier merged commit b2730f1 into main Dec 4, 2023
@pmeier pmeier deleted the issue-templates branch December 4, 2023 20:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

type: maintenance 🛠️ Day-to-day maintenance tasks

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants