PR #7543 Introduce `LinterSettings`

Introduce `LinterSettings` #7543

MichaReiser merged 1 commit into main from linter-settings

MichaReiser commented on 2023-09-20

MichaReiser force pushed from 862af5cc to f5511a25 2 years ago

MichaReiser requested a review from

charliermarsh 2 years ago

MichaReiser added internal

MichaReiser marked this pull request as ready for review 2 years ago

MichaReiser force pushed from f5511a25 to 5d1d3c69 2 years ago

charliermarsh approved these changes on 2023-09-20

MichaReiser force pushed from 5d1d3c69 to 202815bc 2 years ago

MichaReiser changed the title ~~Introduce `LinterSettings` and `ResolverSettings`~~ Introduce `LinterSettings` 2 years ago

MichaReiser force pushed from 202815bc to 4cdd24ce 2 years ago

MichaReiser force pushed from 4cdd24ce to 0efdc80b 2 years ago

Base automatically changed from resolver-settings to main 2 years ago

Introduce `LinterSettings` and `ResolverSettings`

308bae8d

MichaReiser force pushed from 0efdc80b to 308bae8d 2 years ago

MichaReiser merged b34278e0 into main 2 years ago

MichaReiser deleted the linter-settings branch 2 years ago

Reviewers

charliermarsh

Assignees

No one assigned

Labels

internal

Milestone

No milestone