Skip to content
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 option to not have prefix of issues on GitHub #100

Open
KATT opened this issue May 25, 2023 · 3 comments
Open

Add option to not have prefix of issues on GitHub #100

KATT opened this issue May 25, 2023 · 3 comments
Labels
enhancement New feature or request good first issue Good for newcomers

Comments

@KATT
Copy link

KATT commented May 25, 2023

I dislike all of these} names:

CleanShot 2023-05-26 at 00 14 31@2x

A setting where I didn't have to have the [XXX] would be great
@maige-app maige-app bot added the enhancement New feature or request label May 25, 2023
@KATT

This comment was marked as off-topic.

# to view
@tedspare tedspare added the good first issue Good for newcomers label Sep 14, 2023
@neoromantic
Copy link

@tedspare I'm curious about this issue too, and I'm happy to provide PR, but quick question: is there any architectural need for this (adding [ID-42]) or it's just for convenience?

@tedspare
Copy link
Collaborator

Hey @neoromantic, happy to review! It can be removed safely I believe. There's at least one RegEx check for [ABC-123] in the title, but this has no side effects IIRC.

# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees
No one assigned
Labels
enhancement New feature or request good first issue Good for newcomers
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@neoromantic @KATT @tedspare