Decorate issue search with [STATUS] #24

New issue

Copy link

New issue

Copy link

Closed

Closed

Decorate issue search with [STATUS]#24

Copy link

Labels

enhancementNew feature or requestNew feature or request

Description

AlexanderBrevig

opened on Mar 5, 2024

Issue body actions

Currently we format issues in suggestions like:
#$id $status $title
This is better:
#$id [$status] $title

Thank you Kristoffer

Activity

1. AlexanderBrevig

   added

   enhancementNew feature or requestNew feature or request

   on Mar 5, 2024
2. krfl

   added a commit that references this issue on Mar 5, 2024

   fix: improve issue status readavility, close github-language-server#24

   This issue will close once commit 9e4ebd1 is merged into the 'main' branch.

   9e4ebd1
3. AlexanderBrevig

   closed this as completedin 1e40712on Mar 5, 2024

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

Metadata

Metadata

Assignees

No one assigned

Labels

enhancementNew feature or requestNew feature or request

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions

• Open in GitHub Copilot app