Skip to content

Ignore user hats for tab-completion #96

Open
Open
Ignore user hats for tab-completion#96
@edfletcher

Description

@edfletcher
edfletcher
opened on Apr 25, 2024

Currently a user's hat (e.g. @ or +) will be considered when trying to tab-complete a nickname, so "Ed" would not match "@edfletch".

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions