Skip to content

chore: updating labels repository#6

Open
theproducer wants to merge 1 commit intomainfrom
revamping-label-defaults
Open

chore: updating labels repository#6
theproducer wants to merge 1 commit intomainfrom
revamping-label-defaults

Conversation

@theproducer
Copy link

@theproducer theproducer requested review from a team and eric-horodyski February 24, 2026 18:46
@theproducer theproducer changed the title chore: repository updating labels chore: updating labels repository Feb 24, 2026
@OS-pedrogustavobilro OS-pedrogustavobilro self-assigned this Feb 26, 2026
},
{
"name": "needs: reproduction",
"description": "Requires a reliable reproduction to proceed.",

Choose a reason for hiding this comment

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

Should we go into more detail in the label description? Ideally we (always?) want a sample app to reproduce the issue right?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants