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

Add cli_ignore_unknown_args config option. #405

Merged
merged 5 commits into from
Sep 17, 2024
Merged

Add cli_ignore_unknown_args config option. #405

merged 5 commits into from
Sep 17, 2024

Commits on Sep 14, 2024

  1. Add CLI ignore unknown args config option.

    @kschwab
    kschwab committed Sep 14, 2024
    Configuration menu
    Copy the full SHA
    ef8fc02 View commit details
    Browse the repository at this point in the history

Commits on Sep 17, 2024

  1. Add doc.

    @kschwab
    kschwab committed Sep 17, 2024
    Configuration menu
    Copy the full SHA
    3fab97d View commit details
    Browse the repository at this point in the history

  2. Update docs/index.md 

    Co-authored-by: hyperlint-ai[bot] <154288675+hyperlint-ai[bot]@users.noreply.github.com>
    @kschwab @hyperlint-ai
    kschwab and hyperlint-ai[bot] authored Sep 17, 2024
    Configuration menu
    Copy the full SHA
    cfc3223 View commit details
    Browse the repository at this point in the history

  3. Update docs/index.md 

    Co-authored-by: hyperlint-ai[bot] <154288675+hyperlint-ai[bot]@users.noreply.github.com>
    @kschwab @hyperlint-ai
    kschwab and hyperlint-ai[bot] authored Sep 17, 2024
    Configuration menu
    Copy the full SHA
    855c659 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'main' into cli-ignore-unknown

    @kschwab
    kschwab authored Sep 17, 2024
    Configuration menu
    Copy the full SHA
    42a2a7c View commit details
    Browse the repository at this point in the history