Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

.github: Issue template: bugs.yml: switch bug label to Bug type #1589

Merged

Conversation

ES-Alexander
Copy link
Contributor

@ES-Alexander ES-Alexander commented Jan 17, 2025

GitHub has new org-level Issue "types", that can help improve consistency between repositories, and adds an abstraction level so standard labels can be used for the lower level specifics instead.

@@ -1,7 +1,8 @@
name: Report bug
description: Report a bug found
title: "bug: "
labels: ["bug", "ui"]
labels: ["ui"]
Copy link
Member

Choose a reason for hiding this comment

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

Should de UI label be automatically added? Not all bugs are UI-related, I think.

Copy link
Contributor Author

Choose a reason for hiding this comment

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

I've removed that label and also the title prefix, since if it's in the type then having a title prefix as well is redundant without providing any obvious benefit 🤷

@rafaellehmkuhl rafaellehmkuhl merged commit 7b9de67 into bluerobotics:master Jan 17, 2025
11 checks passed
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