Skip to content

Search issue or PR by its id / index number #4109

Closed
@HerrHase

Description

@HerrHase
  • Gitea version (or commit ref): 1.3.2
  • Git version:
  • Operating system: Ubuntu
  • Database (use [x]):
    • PostgreSQL
    • [*] MySQL
    • MSSQL
    • SQLite
  • Can you reproduce the bug at https://try.gitea.io:
    • Yes (provide example URL)
    • No
    • [*] Not relevant
  • Log gist:

Description

I have often the Problem that i want to search by the ID. Is there a way to add a search like this, "#"?

Metadata

Metadata

Assignees

No one assigned

    Labels

    type/enhancementAn improvement of existing functionalitytype/proposalThe new feature has not been accepted yet but needs to be discussed first.

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions