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.

Sign up for GitHub

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

Jump to bottom

Expose fuzzy search for issues/pulls #29701

Merged
merged 21 commits into from
Apr 18, 2024
Merged

Expose fuzzy search for issues/pulls #29701

merged 21 commits into from
Apr 18, 2024

Commits on Mar 15, 2024

  1. Expose fuzzy search for issues/pulls 

    Signed-off-by: 6543 <6543@obermui.de>
    @6543
    6543 committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    8145031 View commit details
    Browse the repository at this point in the history

  2. use SearchOptions.Copy()

    @6543
    6543 committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    569fbdd View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into ui-for-fuzzy-issue-search

    @6543
    6543 authored Mar 15, 2024
    Configuration menu
    Copy the full SHA
    2cf0ccc View commit details
    Browse the repository at this point in the history

Commits on Mar 16, 2024

  1. Merge branch 'main' into ui-for-fuzzy-issue-search

    @6543
    6543 committed Mar 16, 2024
    Configuration menu
    Copy the full SHA
    7a03252 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into ui-for-fuzzy-issue-search

    @6543
    6543 authored Mar 16, 2024
    Configuration menu
    Copy the full SHA
    78b67a3 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into ui-for-fuzzy-issue-search

    @6543
    6543 authored Mar 16, 2024
    Configuration menu
    Copy the full SHA
    449fd05 View commit details
    Browse the repository at this point in the history

Commits on Mar 18, 2024

  1. Merge branch 'main' into ui-for-fuzzy-issue-search

    @silverwind
    silverwind authored Mar 18, 2024
    Configuration menu
    Copy the full SHA
    f437c42 View commit details
    Browse the repository at this point in the history

  2. make dropdown smaller

    @silverwind
    silverwind committed Mar 18, 2024
    Configuration menu
    Copy the full SHA
    da89c8a View commit details
    Browse the repository at this point in the history

  3. use 6em

    @silverwind
    silverwind committed Mar 18, 2024
    Configuration menu
    Copy the full SHA
    ebd5d39 View commit details
    Browse the repository at this point in the history

  4. match -> exact

    @6543
    6543 committed Mar 18, 2024
    Configuration menu
    Copy the full SHA
    2a3ed3b View commit details
    Browse the repository at this point in the history

Commits on Mar 19, 2024

  1. Merge branch 'main' into ui-for-fuzzy-issue-search

    @6543
    6543 authored Mar 19, 2024
    Configuration menu
    Copy the full SHA
    79400fa View commit details
    Browse the repository at this point in the history

Commits on Mar 23, 2024

  1. Merge branch 'main' into ui-for-fuzzy-issue-search

    @6543
    6543 committed Mar 23, 2024
    Configuration menu
    Copy the full SHA
    78cf8b5 View commit details
    Browse the repository at this point in the history

  2. normal issue search too & conflict fix

    @6543
    6543 committed Mar 23, 2024
    Configuration menu
    Copy the full SHA
    d0e03af View commit details
    Browse the repository at this point in the history

  3. Revert "normal issue search too" 

    This reverts commit d0e03af.
    @6543
    6543 committed Mar 23, 2024
    Configuration menu
    Copy the full SHA
    4b91eab View commit details
    Browse the repository at this point in the history

  4. Merge branch 'main' into ui-for-fuzzy-issue-search

    @6543
    6543 authored Mar 23, 2024
    Configuration menu
    Copy the full SHA
    fe3a2f6 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'main' into ui-for-fuzzy-issue-search

    @6543
    6543 authored Mar 23, 2024
    Configuration menu
    Copy the full SHA
    10030a6 View commit details
    Browse the repository at this point in the history

Commits on Mar 25, 2024

  1. Merge branch 'main' into ui-for-fuzzy-issue-search

    @6543
    6543 authored Mar 25, 2024
    Configuration menu
    Copy the full SHA
    870af40 View commit details
    Browse the repository at this point in the history

Commits on Mar 26, 2024

  1. Merge branch 'main' into ui-for-fuzzy-issue-search

    @6543
    6543 authored Mar 26, 2024
    Configuration menu
    Copy the full SHA
    0da5245 View commit details
    Browse the repository at this point in the history

Commits on Apr 8, 2024

  1. Merge branch 'main' into ui-for-fuzzy-issue-search

    @6543
    6543 authored Apr 8, 2024
    Configuration menu
    Copy the full SHA
    c831031 View commit details
    Browse the repository at this point in the history

Commits on Apr 16, 2024

  1. Merge branch 'main' into ui-for-fuzzy-issue-search

    @6543
    6543 authored Apr 16, 2024
    Configuration menu
    Copy the full SHA
    b33a2c1 View commit details
    Browse the repository at this point in the history

Commits on Apr 17, 2024

  1. Merge branch 'main' into ui-for-fuzzy-issue-search

    @6543
    6543 authored Apr 17, 2024
    Configuration menu
    Copy the full SHA
    236967a View commit details
    Browse the repository at this point in the history