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.

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

Bump erblint-github and make sure it is actually running. #2067

Merged
merged 7 commits into from
Jun 12, 2023

Commits on Jun 8, 2023

  1. Configuration menu
    Copy the full SHA
    44e1ba6 View commit details
    Browse the repository at this point in the history

Commits on Jun 9, 2023

  1. Pull in recommended configs

    khiga8 committed Jun 9, 2023
    Configuration menu
    Copy the full SHA
    732429a View commit details
    Browse the repository at this point in the history
  2. Bump erblint-github

    khiga8 committed Jun 9, 2023
    Configuration menu
    Copy the full SHA
    07aa728 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    6f25003 View commit details
    Browse the repository at this point in the history
  4. Add lint disable

    khiga8 committed Jun 9, 2023
    Configuration menu
    Copy the full SHA
    35d14da View commit details
    Browse the repository at this point in the history

Commits on Jun 12, 2023

  1. Clean up

    khiga8 committed Jun 12, 2023
    Configuration menu
    Copy the full SHA
    e1bd7a2 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    d628444 View commit details
    Browse the repository at this point in the history