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

Better selection support #2290

Merged
merged 5 commits into from
Jan 4, 2022
Merged

Better selection support #2290

merged 5 commits into from
Jan 4, 2022

Commits on Dec 21, 2021

  1. Better selection support 

    Signed-off-by: Bernát Gábor <[email protected]>
    @gaborbernat
    gaborbernat committed Dec 21, 2021
    Configuration menu
    Copy the full SHA
    5f31fb1 View commit details
    Browse the repository at this point in the history

Commits on Dec 28, 2021

  1. Fix docs 

    Signed-off-by: Bernát Gábor <[email protected]>
    @gaborbernat
    gaborbernat committed Dec 28, 2021
    Configuration menu
    Copy the full SHA
    a29a249 View commit details
    Browse the repository at this point in the history

Commits on Dec 31, 2021

  1. Fix documentation and typing issues 

    Signed-off-by: Bernát Gábor <[email protected]>
    @gaborbernat
    gaborbernat committed Dec 31, 2021
    Configuration menu
    Copy the full SHA
    b86729e View commit details
    Browse the repository at this point in the history

Commits on Jan 3, 2022

  1. Add label filtering 

    Signed-off-by: Bernát Gábor <[email protected]>
    @gaborbernat
    gaborbernat committed Jan 3, 2022
    Configuration menu
    Copy the full SHA
    d6966d4 View commit details
    Browse the repository at this point in the history

Commits on Jan 4, 2022

  1. Add factor support 

    Signed-off-by: Bernát Gábor <[email protected]>
    @gaborbernat
    gaborbernat committed Jan 4, 2022
    Configuration menu
    Copy the full SHA
    3eb7030 View commit details
    Browse the repository at this point in the history