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

Remove ONLY_SHOW_RELEVANT_REPOS setting #21962

Merged
merged 9 commits into from
Feb 4, 2023
Merged

Remove ONLY_SHOW_RELEVANT_REPOS setting #21962

merged 9 commits into from
Feb 4, 2023

Commits on Nov 28, 2022

  1. Remove useless ONLY_SHOW_RELEVANT_REPOS setting 

    The user can already disable the filter manually, so the explicit
setting is absolutely useless and only complicates the logic.

Additionally, previously there was unexpected behavior when multiple
query parameters were present.
    @delvh
    delvh committed Nov 28, 2022
    Configuration menu
    Copy the full SHA
    31f42bd View commit details
    Browse the repository at this point in the history

  2. Fix lint

    @delvh
    delvh committed Nov 28, 2022
    Configuration menu
    Copy the full SHA
    df9a0d7 View commit details
    Browse the repository at this point in the history

Commits on Dec 3, 2022

  1. Merge branch 'main' into remove-useless-config-option

    @zeripath
    zeripath authored Dec 3, 2022
    Configuration menu
    Copy the full SHA
    8466b6c View commit details
    Browse the repository at this point in the history

Commits on Dec 4, 2022

  1. Merge branch 'main' into remove-useless-config-option

    @zeripath
    zeripath authored Dec 4, 2022
    Configuration menu
    Copy the full SHA
    40208e8 View commit details
    Browse the repository at this point in the history

Commits on Dec 12, 2022

  1. Merge branch 'main' into remove-useless-config-option

    @lunny
    lunny authored Dec 12, 2022
    Configuration menu
    Copy the full SHA
    c65dc2f View commit details
    Browse the repository at this point in the history

Commits on Dec 14, 2022

  1. Merge branch 'main' into remove-useless-config-option

    @zeripath
    zeripath authored Dec 14, 2022
    Configuration menu
    Copy the full SHA
    ab3174d View commit details
    Browse the repository at this point in the history

Commits on Jan 15, 2023

  1. Merge branch 'main' into remove-useless-config-option

    @zeripath
    zeripath authored Jan 15, 2023
    Configuration menu
    Copy the full SHA
    4d3da43 View commit details
    Browse the repository at this point in the history

Commits on Jan 16, 2023

  1. Merge branch 'main' into remove-config-option

    @delvh
    delvh committed Jan 16, 2023
    Configuration menu
    Copy the full SHA
    6df7ca2 View commit details
    Browse the repository at this point in the history

Commits on Feb 4, 2023

  1. Merge branch 'main' into remove-useless-config-option

    @lunny
    lunny authored Feb 4, 2023
    Configuration menu
    Copy the full SHA
    f6bd45f View commit details
    Browse the repository at this point in the history