Skip to content

proposal: add proposal for issue/PR label convention#65

Open
jan--f wants to merge 4 commits intoprometheus:mainfrom
jan--f:issue-pr-labels
Open

proposal: add proposal for issue/PR label convention#65
jan--f wants to merge 4 commits intoprometheus:mainfrom
jan--f:issue-pr-labels

Conversation

@jan--f
Copy link

@jan--f jan--f commented Oct 31, 2025

No description provided.

@jan--f jan--f changed the title add proposal for issue/PR label convention proposal: add proposal for issue/PR label convention Oct 31, 2025
Signed-off-by: Jan Fajerski <jfajersk@redhat.com>
Copy link
Member

@beorn7 beorn7 left a comment

Choose a reason for hiding this comment

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

Looks good to me in general. However, I also don't feel very strongly about the details here. I guess once we see in in practice, we will see what works well and what needs changes. We shouldn't shy away from cutting out unused parts later. We have way too much label cruft already.

Signed-off-by: Jan Fajerski <jfajersk@redhat.com>
Signed-off-by: Jan Fajerski <jfajersk@redhat.com>
Copy link
Member

@beorn7 beorn7 left a comment

Choose a reason for hiding this comment

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

Two smallish comments left.

In doubt, I would just go forward with this. We can always iterate on it.

In any case, it would be great if somebody else would look at this.

Signed-off-by: Jan Fajerski <jfajersk@redhat.com>
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